论文发表 | Constraint Solving Lab

Yuhang Qian, Zhihan Chen, Xindi Zhang, Shaowei Cai (2025). X-SAT: An Efficient Circuit-Based SAT Solver. DAC 2025.

Peng Lin, Shaowei Cai, Mengchuan Zou, Shengqi Chen (2025). Parallel MIP Solving with Dynamic Task Decomposition. NaN.

Chanjuan Liu, Guangyuan Liu, Chuan Luo, Shaowei Cai, Zhendong Lei, Wenjie Zhang, Yi Chu, Guojing Zhang (2025). Optimizing local search-based partial MaxSAT solving via initial assignment prediction. SCIENCE CHINA Information Sciences.

Lingfeng Zhu, Xindi Zhang, Yongjian Li, Shaowei Cai (2025). Leveraging Critical Proof Obligations for Efficient IC3 Verification. DAC 2025.

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

Zhiteng Chao, Xindi Zhang, Junying Huang, Zizhen Liu, Yixuan Zhao, Jing Ye, Shaowei Cai, Huawei Li, Xiaowei Li (2025). A fast test compaction method using dedicated Pure MaxSAT solver embedded in DFT flow. Integration, the VLSI Journal.

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

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. CoRR abs.

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

Hao Hu, Shaowei Cai (2024). OPTDTALS: Approximate Logic Synthesis via Optimal Decision Trees Approach. CoRR abs.

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.

Xiang He, Peng Lin, Shaowei Cai (2024). Local Search for Integer Quadratic Programming. CoRR abs.

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. AAAI2024.

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

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

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.

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. CoRR abs.

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

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

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. NaN.

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

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

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. NaN.

Jian Gao, Xiaoxia Tao, Shaowei Cai (2023). Towards more efficient local search algorithms for constrained clustering Inf. Sci. 621: 287-307 (2023). Information Sciences.

Yiyuan Wang, Chenghou Jin, Shaowei Cai, Qingwei Lin (2023). PathLAD+: An Improved Exact Algorithm for Subgraph Isomorphism Problem. IJCAI2023.

Min Li, Zhengyuan Shi, Qiuxia Lai, Sadaf Khan, Shaowei Cai, Qiang Xu (2023). On EDA-Driven Learning for SAT Solving. DAC2023.

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

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

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

Zhihan Chen, Xindi Zhang, Yuhang Qian, Qiang Xu, Shaowei Cai (2023). Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking. ICCAD2023.

Wenbo Zhou, Yujiao Zhao, Yiyuan Wang, Shaowei Cai, Shimao Wang, Xinyu Wang, Minghao Yin (2023). Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization. CP2023.

Jiejiang Chen, Shaowei Cai, Yiyuan Wang, Wenhao Xu, Jia Ji, Minghao Yin (2023). Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism. Artif. Intell. 314: 103819 (2023). Artificial Intelligence.

Chuan Luo, Jianping Song, Qiyuan Zhao, Yibei Li, Shaowei Cai, Chunming Hu (2023). Generating Pairwise Covering Arrays for Highly Configurable Software Systems. SPLC2023.

Qiyuan Zhao, Chuan Luo, Shaowei Cai, Wei Wu, Jinkun Lin, Hongyu Zhang, Chunming Hu (2023). CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays. ESEC/FSE 2023.

Chuan Luo, Qiyuan Zhao, Shaowei Cai, Hongyu Zhang, Chunming Hu (2022). SamplingCA: effective and efficient sampling-based pairwise testing for highly configurable software systems. ESEC/SIGSOFT FSE 2022: 1185-1197. ESEC/FSE2022.

Jiejiang Chen, Yiyuan Wang, Shaowei Cai, Minghao Yin, Yupeng Zhou, Jieyu Wu (2022). NukCP: An Improved Local Search Algorithm for Maximum k-Club Problem. AAAI2022.

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

Shaowei Cai, Bohan Li, Xindi Zhang (2022). Local Search For Satisfiability Modulo Integer Arithmetic Theories (2022). CoRR abs.

Jian Gao, Yiqi Lv, Minghao Liu, Shaowei Cai, Feifei Ma (2022). Improving Simulated Annealing for Clique Partitioning Problems Intell. Res. 74: 1485-1513 (2022). JAIR.

Weilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang (2022). Improving Local Search Algorithms via Probabilistic Configuration Checking AAAI 2022: 10283-10290. AAAI2022.

Shaowei Cai, Xindi Zhang (2022). Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract) 2022: 5274-5278. IJCAI 2022.

Shaowei Cai, Xindi Zhang, Mathias Fleury, Armin Biere (2022). Better Decision Heuristics in CDCL through Local Search and Target Phases J. Artif. Intell. Res. 74: 1515-1563 (2022). Journal of Artificial Intelligence Research.

Chuan Luo, Pu Zhao, Chen Chen, Bo Qiao, Chao Du, Hongyu Zhang, Wei Wu, Shaowei Cai, Bing He, Saravanakumar Rajmohan, Qingwei Lin (2021). PULNS: Positive-Unlabeled Learning with Effective Negative Sample Selector AAAI 2021: 8784-8792. AAAI2021.

Jiejiang Chen, Shaowei Cai, Shiwei Pan, Yiyuan Wang, Qingwei Lin, Mengyu Zhao, Minghao Yin (2021). NuQClq: An Effective Local Search Algorithm for Maximum Quasi-Clique Problem AAAI 2021: 12258-12266. AAAI2021.

Shaowei Cai, Chuan Luo, Xindi Zhang, Jian Zhang (2021). Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper). CP 2021: 5:1-5:10. CP2021.

Bohan Li, Kai Wang, Yiyuan Wang, Shaowei Cai (2021). Improving Local Search for Minimum Weighted Connected Dominating Set Problem by Inner-Layer Local Search. CP 2021: 39:1-39:16. IJCAI2020.

Jinkun Lin, Shaowei Cai, Bing He, Yingjie Fu, Chuan Luo, Qingwei Lin (2021). FastCA: An Effective and Efficient Tool for Combinatorial Covering Array Generation ICSE (Companion Volume) 2021: 77-80. ICSE2021.

Zhendong Lei, Shaowei Cai, Chuan Luo, Holger H. Hoos (2021). Efficient Local Search for Pseudo Boolean Optimization. SAT2021.

Xindi Zhang, Bohan Li, Shaowei Cai, Yiyuan Wang (2021). Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set. J. Artif. Intell. Res. 71: 89-119 (2021). Journal of Artificial Intelligence Research.

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

Chuan Luo, Bo Qiao, Wenqian Xing, Xin Chen, Pu Zhao, Chao Du, Randolph Yao, Hongyu Zhang, Wei Wu, Shaowei Cai, Bing He, Saravanakumar Rajmohan, Qingwei Lin (2021). Correlation-Aware Heuristic Search for Intelligent Virtual Machine Provisioning in Cloud Systems. AAAI 221.

Minghao Liu, Fuqi Jia, Pei Huang, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang (2021). Can Graph Neural Networks Learn to Solve MaxSAT Problem?. CoRR abs.

Chuan Luo, Jinkun Lin, Shaowei Cai, Xin Chen, Bing He, Bo Qiao, Pu Zhao, Qingwei Lin, Hongyu Zhang, Wei Wu, Saravanakumar Rajmohan, Dongmei Zhang (2021). AutoCCAG: An Automated Approach to Constrained Covering Array Generation ICSE 2021: 201-212. ICSE 2021.

Shaowei Cai, Jinkun Lin, Yiyuan Wang, Darren Strash (2021). A Semi-exact Algorithm for Quickly Computing A Maximum Weight Clique in Large Sparse Graphs. J. Artif. Intell. Res. 72: 39-67 (2021). Journal of Artificial Intelligence Research.

Yingjie Fu, Zhendong Lei, Shaowei Cai, Jinkun Lin, Haoran Wang (2020). WCA: A weighting local search for constrained combinatorial test optimization Inf. Softw. Technol. 122: 106288 (2020). Information & Software Technology.

Shaowei Cai, Wenying Hou, Yiyuan Wang, Chuan Luo, Qingwei Lin (2020). Two-goal Local Search and Inference Rules for Minimum Dominating Set 2020: 1467-1473. IJCAI2020.

Zhendong Lei, Shaowei Cai (2020). Solving Set Cover and Dominating Set via Maximum Satisfiability. AAAI2020.

Yiyuan Wang, Shaowei Cai, Jiejiang Chen, Minghao Yin (2020). SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem. Artif. Intell. 280: 103230 (2020). Artificial Intelligence.

Yiyuan Wang, Shaowei Cai, Shiwei Pan, Ximing Li, Minghao Yin (2020). Reduction and Local Search for Weighted Graph Coloring Problem. AAAI2020.

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

Chuan Luo, Holger H. Hoos, Shaowei Cai (2020). PbO-CCSAT: Boosting Local Search for Satisfiability Using Programming by Optimisation PPSN (1) 2020: 373-389. PPSN2020.

Shaowei Cai, Zhendong Lei (2020). Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability. Artif. Intell. 287: 103354 (2020). Artificial Intelligence.

Ruizhi Li, Shuli Hu, Shaowei Cai, Jian Gao, Yiyuan Wang, Minghao Yin (2020). NuMWVC: A novel local search for minimum weighted vertex cover problem Oper. Res. Soc. 71(9): 1498-1509 (2020). JORC.

Zhendong Lei, Shaowei Cai (2020). NuDist: An Efficient Local Search Algorithm for (Weighted) Partial MaxSAT Comput. J. 63(9): 1321-1337 (2020). The Computer Journal.

Bohan Li, Xindi Zhang, Shaowei Cai, Jinkun Lin, Yiyuan Wang, Christian Blum (2020). NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set. IJCAI 2020: 1503-1510. IJCAI2020.

Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang (2020). NLocalSAT: Boosting Local Search with Solution Prediction. CoRR abs.

Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang (2020). NLocalSAT: Boosting Local Search with Solution Prediction. IJCAI2020.

Peilin Chen, Hai Wan, Shaowei Cai, Jia Li, Haicheng Chen (2020). Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem. AAAI2020.

Zhendong Lei, Shaowei Cai, Chuan Luo (2020). Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints. IJCAI 2020: 1141-1147. IJCAI2020.

Jiazhen Gu, Chuan Luo, Si Qin, Bo Qiao, Qingwei Lin, Hongyu Zhang, Ze Li, Yingnong Dang, Shaowei Cai, Wei Wu, Yangfan Zhou, Murali Chintalapati, Dongmei Zhang (2020). Efficient incident identification from multi-dimensional issue reports via meta-heuristic search. ESEC/SIGSOFT FSE 2020: 292-303. ESEC/FSE 2020.

Yi Chu, Boxiao Liu, Shaowei Cai, Chuan Luo, Haihang You (2020). An efficient local search algorithm for solving maximum edge weight clique problem in large graphs. J. Comb. Optim. 39(4): 933-954 (2020). Journal of Combinatorial Optimization.

Jinkun Lin, Shaowei Cai, Chuan Luo, Qingwei Lin, Hongyu Zhang (2019). Towards more efficient meta-heuristic algorithms for combinatorial test generation ESEC/SIGSOFT FSE 2019: 212-222. ESEC/FSE 2019.

Shaowei Cai, Yuanjie Li, Wenying Hou, Haoran Wang (2019). Towards faster local search for minimum weight vertex cover on massive graphs Inf. Sci. 471: 64-79 (2019). Information Sciences.

Chuan Luo, Holger H. Hoos, Shaowei Cai, Qingwei Lin, Hongyu Zhang, Dongmei Zhang (2019). Local Search with Efficient Automatic Configuration for Minimum Vertex Cover IJCAI 2019: 1297-1304. IJCAI2019.

Yi Chu, Chuan Luo, Shaowei Cai, Haihang You (2019). Empirical investigation of stochastic local search for maximum satisfiability Frontiers Comput. Sci. 13(1): 86-98 (2019). Frontiers of Computer Science.

Shaojiang Wang, Tianyong Wu, Yuan Yao, Dongbo Bu, Shaowei Cai (2019). Constrained maximum weighted bipartite matching: a novel approach to radio broadcast scheduling. Sci. China Inf. Sci. 62(7): 72102:1-72102:14 (2019). SCIENCE CHINA Information Sciences.

Peilin Chen, Hai Wan, Shaowei Cai, Weilin Luo, Jia Li (2019). Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem.. CoRR abs.

Yuren Zhou, Xiaoyu He, Yi Xiang, Shaowei Cai (2019). A set of new multi- and many-objective test problems for continuous optimization and a comprehensive experimental evaluation. Artif. Intell. 276: 105-129 (2019). Artificial Intelligence.

Zhendong Lei, Shaowei Cai (2018). Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT 1346-1352. IJCAI2018.

Ruizhi Li, Shaowei Cai, Shuli Hu, Minghao Yin, Jian Gao (2018). NuMWVC: A Novel Local Search for Minimum Weighted Vertex Cover Problem. AAAI2018.

Yiyuan Wang, Shaowei Cai, Minghao Yin (2018). New heuristic approaches for maximum balanced biclique problem 432: 362-375 (2018). Inf. Sci..

Shaowei Cai, Wenying Hou, Jinkun Lin, Yuanjie Li (2018). Improving Local Search for Minimum Weight Vertex Cover by Dynamic Strategies IJCAI 2018: 1412-1418. IJCAI2018.

Kenji Kanazawa, Shaowei Cai (2018). FPGA Acceleration to Solve Maximum Clique Problems Encoded into Partial MaxSAT MCSoC 2018: 217-224. MCSoC2018.

Meng Liu, Dantong Ouyang, Shaowei Cai, Liming Zhang (2018). Efficient zonal diagnosis with maximum satisfiability 61(11): 112101:1-112101:14 (2018). Sci. China Inf. Sci..

Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang, Lijun Zhang, Yi Lv, Shaowei Cai (2018). An Automatic Proving Approach to Parameterized Verification Log. 19(4): 27:1-27:25 (2018). ACM Trans. Comput. Log..

Yiyuan Wang, Shaowei Cai, Jiejiang Chen, Minghao Yin (2018). A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem on Massive Graphs. IJCAI 2018: 1514-1522. NaN.

Faisal N. Abu-Khzam, Shaowei Cai, Judith Egan, Peter Shaw, Kai Wang (2017). Turbo-Charging Dominating Set with an FPT Subroutine: Further Improvements and Experimental Analysis. TAMC 2017: 59-70. TAMC2017.

Yiyuan Wang, Shaowei Cai, Minghao Yin (2017). Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function.. CoRR abs.

Shaowei Cai, Chuan Luo, Haochen Zhang (2017). From Decimation to Local Search and Back: A New Approach to MaxSAT 2017: 571-577. IJCAI2017.

Shaowei Cai, Jinkun Lin, Chuan Luo (2017). Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search and Preprocess. JAIRJAIR.

Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang (2017). CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract). IJCAI 2017: 5030-5034. IJCAI 2017.

Haochen Zhang, Shaowei Cai, Chuan Luo, Minghao Yin (2017). An efficient local search algorithm for the winner determination problem J. Heuristics 23(5): 367-396 (2017). J. Heuristics.

Yuanjie Li, Shaowei Cai, Wenying Hou (2017). An Efficient Local Search Algorithm for Minimum Weighted Vertex Cover on Massive Graphs. SEAL 2017: 145-157. NaN.

Jinkun Lin, Shaowei Cai, Chuan Luo, Kaile Su (2017). A Reduction based Method for Coloring Very Large Graphs. NaN.

Yiyuan Wang, Shaowei Cai, Minghao Yin (2016). Two Efficient Local Search Algorithms for Maximum Weight Clique Problem. AAAI2016.

Shaowei Cai, Chuan Luo, Jinkun Lin, Kaile Su (2016). New local search methods for partial MaxSAT. Artificial Intelligence.

Shaowei Cai, Jinkun Lin (2016). Fast Solving Maximum Weight Clique Problem in Massive Graphs 568-574. IJCAI2016.

Shohei Sassa, Kenji Kanazawa, Shaowei Cai, Moritoshi Yasunaga (2016). An FPGA Solver for Partial MaxSAT Problems Based on Stochastic Local Search SIGARCH Comput. Archit. News 44(4): 32-37 (2016). SIGARCH Comput. Archit. News.

Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang, Shaowei Cai (2016). A novel approach to parameterized verification of cache coherence protocols ICCD 2016: 560-567. NaN.

Shaowei Cai, Jinkun Lin, Kaile Su (2015). Two Weighting Local Search for Minimum Vertex Cover. AAAI2015.

Jinkun Lin, Chuan Luo, Shaowei Cai, Kaile Su, Dan Hao, Lu Zhang (2015). TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T). ASE 2015: 494-505. ASE2015.

Shaowei Cai, Chuan Luo, Kaile Su (2015). Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation Comput. J. 58(11): 2864-2875 (2015). The Computer Journal.

Chuan Luo, Shaowei Cai, Kaile Su, Wei Wu (2015). Clause States Based Configuration Checking in Local Search for Satisfiability IEEE Trans. Cybern. 45(5): 1014-1027 (2015). IEEE Transactions on Cybernetics.

Chuan Luo, Shaowei Cai, Wei Wu, Zhong Jie, Kaile Su (2015). CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability IEEE Trans. Computers 64(7): 1830-1843 (2015). IEEE Transactions on Computers.

Shaowei Cai, Chuan Luo, Kaile Su (2015). CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability SAT 2015: 1-8. NaN.

Shaowei Cai (2015). Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs. IJCAI 2015: 747-753. NaN.

Lijun Wu, Huijia Huang, Kaile Su, Shaowei Cai, Xiaosong Zhang (2015). An I/O Efficient Model Checking Algorithm for Large-Scale Systems Very Large Scale Integr. Syst. 23(5): 905-915 (2015). IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

Lijun Wu, Kaile Su, Shaowei Cai, Xiaosong Zhang, Chenyi Zhang, Shupeng Wang (2015). An I/O Efficient Approach for Detecting All Accepting Cycles Software Eng. 41(8): 730-744 (2015). IEEE Transactions on Software Engineering.

Shaowei Cai, Zhong Jie, Kaile Su (2015). An effective variable selection heuristic in SLS for weighted Max-2-SAT Heuristics 21(3): 433-456 (2015). J. Heuristics.

Shaowei Cai, Chuan Luo, John Thornton, Kaile Su (2014). Tailoring Local Search for Partial MaxSAT. AAAI2014.

Shaowei Cai, Chuan Luo, Kaile Su (2014). Scoring Functions Based on Second Level Score for k-SAT with Long Clauses J. Artif. Intell. Res. 51: 413-441 (2014). Journal of Artificial Intelligence Research.

Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar (2014). NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover abs/1402.0584 (2014). CoRR abs.

Chuan Luo, Kaile Su, Shaowei Cai (2014). More efficient two-mode stochastic local search for random 3-satisfiability Appl. Intell. 41(3): 665-680 (2014). Applied Intelligence.

Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su (2014). Double Configuration Checking in Stochastic Local Search for Satisfiability AAAI 2014: 2703-2709. AAAI2024.

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

Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar (2013). NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover Intell. Res. 46: 687-716 (2013). JAIR.

Shaowei Cai, Kaile Su (2013). Local search for Boolean Satisfiability with configuration checking and subscore Artif. Intell. 204: 75-98 (2013). Artificial Intelligence.

Fei Yan, Shaowei Cai, Ming Zhang, Guojun Liu, Zhi-Hong Deng (2013). A clique-superposition model for social networks 1-19 (2013). Science China Information Sciences.