论文发表 | Constraint Solving Lab

Mengyu Zhao, Shaowei Cai, Yuhang Qian (2024). Distributed SMT Solving Based on Dynamic Variable-Level Partitioning. CAV 2024.

Xindi Zhang, Bohan Li, Shaowei Cai (2024). Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory. ICSE 2024.

Zhihan Chen, Peng Lin, Hao Hu, Shaowei Cai (2024). ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization. CP 2024.

Peng Lin, Mengchuan Zou, Zhihan Chen, Shaowei Cai (2024). ParaILP: A Parallel Local Search Framework for Integer Linear Programming with Cooperative Evolution Mechanism. IJCAI-24.

Yi Chu, Chu-Min Li, Furong Ye, Shaowei Cai (2024). Enhancing MaxSAT Local Search via a Unified Soft Clause Weighting Scheme. SAT 2024.

Yan Li, Yundu Huang, Wuyang Mao, Furong Ye, Xiang He, Zhonglin Zu, Shaowei Cai (2024). Bi-Objective Contract Allocation for Guaranteed Delivery Advertising. KDD 2024.

Peng Lin, Mengchuan Zou, Shaowei Cai (2024). An Efficient Local Search Solver for Mixed Integer Programming. CP 2024.

Xiang He, Wuyang Mao, Zhenghang Xu, Yuanzhe Gu, Yundu Huang, Zhonglin Zu, Liang Wang, Mengyu Zhao, Mengchuan Zou (2024). An Efficient Local Search Algorithm for Large GD Advertising Inventory Allocation with Multilinear Constraints. KDD 2024.

Xiang He, Bohan Li, Mengyu Zhao, Shaowei Cai (2024). A Local Search Algorithm for MaxSMT (LIA). Formal Methods 2024.

Yan Li, Mengyu Zhao, Xindi Zhang, Yiyuan Wang (2024). A Fast Local Search Algorithm for Minimum Sum Coloring Problem on Massive Graphs. Computers & Operations Research.

Shaowei Cai, Bohan Li, Xindi Zhang (2023). Local Search For Satisfiability Modulo Integer Arithmetic Theories. ACM TOCL 2023.

Bohan Li, Shaowei Cai (2023). Local Search For SMT On Linear and Multi-linear Real Arithmetic. FMCAD 2023.

Yi Chu, Shaowei Cai, Chuan Luo, Zhendong Lei, Cong Peng (2023). Towards More Efficient Local Search for Pseudo-Boolean Optimization. CP 2023.

Yi Chu, Shaowei Cai, Chuan Luo (2023). NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques. AAAI 2023.

Shaowei Cai, Bohan Li, Xindi Zhang (2022). Local Search for SMT on Linear Integer Arithmetic. CAV 2022.

Shaowei Cai, Bohan Li, Xindi Zhang (2021). YicesLS on SMT COMP2021. SMT-COMP-2021.

Bohan Li, Xindi Zhang, Shaowei Cai, Jinkun Lin, Yiyuan Wang, Christian Blum (2021). Nucds: An Efficient Local Search Algorithm for Minimum Connected Dominating Set. IJCAI 2021.

Shaowei Cai, Chuan Luo, Xindi Zhang, Jian Zhang (2021). Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization. CP 2021.

Xindi Zhang, Shaowei Cai, Zhihan Chen (2021). Improving CDCL via Local Search. SAT Comp. 2021.

Xindi Zhang, Bohan Li, Shaowei Cai, Yiyuan Wang (2021). Efficient Local Search Based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set. JAIR 2021.

Shaowei Cai, Xindi Zhang (2021). Deep Cooperation of CDCL and Local Search for SAT. SAT 2021.

Xindi Zhang, Shaowei Cai (2020). Relaxed Backtracking with Rephasing. SAT Comp. 2020.

Shaowei Cai, Xindi Zhang (2020). Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search. CP 2020.