Alkaid-SDVRP: An Efficient Open-Source Solver for the Vehicle Routing Problem with Split Deliveries.

Shibiao Jiang

Weibo Lin Zhu He Shibiao Jiang Fuda Ma Zhouxing Su Zhipeng Lü Alkaid-SDVRP: An Efficient Open-Source Solver for the Vehicle Routing Problem with Split Deliveries. 2026 150-164 38 INFORMS J. Comput. 1 https://doi.org/10.1287/ijoc.2024.0606 db/journals/informs/informs38.html#LinHJMSL26 streams/journals/informs

Ning Kang 0003 Peng Zhang 0011 Jianyuan Zhang Hao Li 0011 Dan Wang Zhenrong Gu Weibo Lin Shibiao Jiang Zhu He Xu Du Longfei Chen Jun Li Xiaohong Guan AccessRefinery: Fast Mining Concise Access Control Intents on Public Cloud. 1312-1334 2026 3 Proc. ACM Softw. Eng. FSE https://doi.org/10.1145/3797087 db/journals/pacmse/pacmse3.html#KangZZLWGLJHDCL26

Dan Wang Peng Zhang 0011 Zhenrong Gu Weibo Lin Shibiao Jiang Zhu He Xu Du Longfei Chen Jun Li Xiaohong Guan Relia: Accelerating the Analysis of Cloud Access Control Policies. 228-240 2025 ASE https://doi.org/10.1109/ASE63991.2025.00027 conf/kbse/2025 db/conf/kbse/ase2025.html#WangZGLJHDCLG25 streams/conf/kbse Dan Wang Peng Zhang 0011 Zhenrong Gu Weibo Lin Shibiao Jiang Zhu He Xu Du Longfei Chen Jun Li Xiaohong Guan Artifact for ASE 2025 Paper "RELIA: Accelerating Analysis of Cloud Access Control Policies". Zenodo 2025 September https://doi.org/10.5281/zenodo.17222676 streams/repo/zenodo data/12/WangZGLJHDCLG25b Dan Wang Peng Zhang 0011 Zhenrong Gu Weibo Lin Shibiao Jiang Zhu He Xu Du Longfei Chen Jun Li Xiaohong Guan Artifact for ASE 2025 Paper "RELIA: Accelerating Analysis of Cloud Access Control Policies". Zenodo 2025 September https://doi.org/10.5281/zenodo.17236980 streams/repo/zenodo data/12/WangZGLJHDCLG25b Pan Lu Ran Gong Shibiao Jiang Liang Qiu 0001 Siyuan Huang 0001 Xiaodan Liang Song-Chun Zhu Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning. 6774-6786 2021 ACL/IJCNLP (1) https://doi.org/10.18653/v1/2021.acl-long.528 https://aclanthology.org/2021.acl-long.528 https://www.wikidata.org/entity/Q131459270 conf/acl/2021-1 db/conf/acl/acl2021-1.html#LuGJQHLZ20

Pan Lu Ran Gong Shibiao Jiang Liang Qiu 0001 Siyuan Huang 0001 Xiaodan Liang Song-Chun Zhu Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning. 2021 abs/2105.04165 CoRR https://arxiv.org/abs/2105.04165 db/journals/corr/corr2105.html#abs-2105-04165

Longfei Chen Xu Du Ran Gong Zhenrong Gu Xiaohong Guan Zhu He Siyuan Huang 0001 Ning Kang 0003 Hao Li 0011 Jun Li Xiaodan Liang Weibo Lin Pan Lu Zhipeng Lü Fuda Ma Liang Qiu 0001 Zhouxing Su Dan Wang Jianyuan Zhang Peng Zhang 0011 Song-Chun Zhu