论文发表 | 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.

Xindi Zhang, Zhihan Chen, Shaowei Cai (2024). Revisiting Restarts of CDCL: Should the Search Information be Preserved?. CoRR2024.

Yiyuan Wang, Chenghou Jin, Shaowei Cai (2024). PathLAD+: Towards effective exact methods for subgraph isomorphism problem. Artificial Intelligence.

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.

Chuan Luo, Wenqian Xing, Shaowei Cai, Chunming Hu (2024). NuSC: An Effective Local Search Algorithm for Solving the Set Covering Problem. IEEE Transactions on Cybernetics.

Huimin Fu, Shaowei Cai, Guanfeng Wu, Jun Liu, Xin Yang, Yang Xu (2024). Improving two-mode algorithm via probabilistic selection for solving satisfiability problem. Information Sciences.

Weilin Luo, Polong Chen, Hai Wan, Hongzhen Zhong, Shaowei Cai, Zhanhao Xiao (2024). Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter. Journal of Systems and Software.

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

Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai (2024). Efficient Local Search for Nonlinear Real Arithmetic. VMCAI2024.

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.

Furong Ye, Chuan Luo, Shaowei Cai (2024). Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis. CoRR2024.

Yiwen Sun, Furong Ye, Xianyin Zhang, Shiyu Huang, Bingzhen Zhang, Ke Wei, Shaowei Cai (2024). AutoSAT: Automatically Optimize SAT Solvers via Large Language Models. CoRR2024.

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.

Kun Ma, Yongjian Li, Shaowei Cai, Yongxin Zhao (2024). A local search approach to protocol verification. Theoretical Computer Science.

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

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

Zhiteng Chao, Xindi Zhang, Junying Huang, Jing Ye, Shaowei Cai, Huawei Li, Xiaowei Li (2024). A Fast Test Compaction Method for Commercial DFT Flow Using Dedicated Pure-MaxSAT Solver. ASP-DAC.

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.