| 2026 | CAV | Improving Stability of SMT Solvers via Context-Driven Normalization. | Xiang Zhang, Mengyu Zhao, Shaohuang Chen, Jian Zhang, Shaowei Cai |
| 2026 | FM | FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines. | Xindi Zhang, Furong Ye, Zhihan Chen, Shaowei Cai |
| 2026 | PPSN | Parallel Local Search for MaxSAT with Solutions and Score Functions Co-evolving. | Mengchuan Zou, Peng Lin, Yi Chu, Shaowei Cai |
| 2025 | AAAI | Better Understandings and Configurations in MaxSAT Stochastic Local Search Solvers via Anytime Performance Analysis. | Furong Ye, Chuan Luo, Shaowei Cai |
| 2025 | CP | Parallel MIP Solving with Dynamic Task Decomposition. | Peng Lin, Shaowei Cai, Mengchuan Zou, Shengqi Chen |
| 2025 | DAC | PastATPG: A Hybrid ATPG Framework for Better Test Compaction with Partial Assignment SAT. | Zhiteng Chao, Xindi Zhang, Xinyu Zhang, Jianan Mu, Zizhen Liu, Shengwen Liang, Shaowei Cai, Jing Ye, Xiaowei Li, Huawei Li |
| 2025 | DAC | X-SAT: An Efficient Circuit-Based SAT Solver. | Yuhang Qian, Zhihan Chen, Xindi Zhang, Shaowei Cai |
| 2025 | DAC | Parallel Dynamic Partitioning for Datapath Combinational Equivalence Checking. | Shuai Zhou, Weikang Zhang, Xindi Zhang, Zite Jiang, Haihang You, Shaowei Cai |
| 2025 | DAC | Leveraging Critical Proof Obligations for Efficient IC3 Verification. | Lingfeng Zhu, Xindi Zhang, Yongjian Li, Shaowei Cai |
| 2025 | ICCAD | VeriSAT: the Hardware Design of Modern SAT Solver. | Yue Tao, Shaowei Cai |
| 2025 | IJCAI | An Efficient Core-Guided Solver for Weighted Partial MaxSAT. | Shiwei Pan, Yiyuan Wang, Shaowei Cai |
| 2025 | TAMC | Separation Between Walksat and DPLL. | Tao Jiang, Shaowei Cai, Ziqun Li, Jiabao Lin, Yijia Chen |
| 2024 | ASPDAC | A Fast Test Compaction Method for Commercial DFT Flow Using Dedicated Pure-MaxSAT Solver. | Zhiteng Chao, Xindi Zhang, Junying Huang, Jing Ye, Shaowei Cai, Huawei Li, Xiaowei Li |
| 2024 | CAV | Distributed SMT Solving Based on Dynamic Variable-Level Partitioning. | Mengyu Zhao, Shaowei Cai, Yuhang Qian |
| 2024 | CP | ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization. | Zhihan Chen, Peng Lin, Hao Hu, Shaowei Cai |
| 2024 | CP | An Efficient Local Search Solver for Mixed Integer Programming. | Peng Lin, Mengchuan Zou, Shaowei Cai |
| 2024 | FM | A Local Search Algorithm for MaxSMT(LIA). | Xiang He, Bohan Li, Mengyu Zhao, Shaowei Cai |
| 2024 | IJCAI | ParaILP: A Parallel Local Search Framework for Integer Linear Programming with Cooperative Evolution Mechanism. | Peng Lin, Mengchuan Zou, Zhihan Chen, Shaowei Cai |
| 2024 | ICSE | Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory. | Xindi Zhang, Bohan Li, Shaowei Cai |
| 2024 | KDD | Bi-Objective Contract Allocation for Guaranteed Delivery Advertising. | Yan Li, Yundu Huang, Wuyang Mao, Furong Ye, Xiang He, Zhonglin Zu, Shaowei Cai |
| 2024 | SAT | Enhancing MaxSAT Local Search via a Unified Soft Clause Weighting Scheme. | Yi Chu, Chu-Min Li, Furong Ye, Shaowei Cai |
| 2024 | VMCAI | Efficient Local Search for Nonlinear Real Arithmetic. | Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai |
| 2023 | AAAI | Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract). | Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang |
| 2023 | AAAI | NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques. | Yi Chu, Shaowei Cai, Chuan Luo |
| 2023 | CP | Towards More Efficient Local Search for Pseudo-Boolean Optimization. | Yi Chu, Shaowei Cai, Chuan Luo, Zhendong Lei, Cong Peng |
| 2023 | CP | Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization. | Wenbo Zhou, Yujiao Zhao, Yiyuan Wang, Shaowei Cai, Shimao Wang, Xinyu Wang, Minghao Yin |
| 2023 | DAC | On EDA-Driven Learning for SAT Solving. | Min Li, Zhengyuan Shi, Qiuxia Lai, Sadaf Khan, Shaowei Cai, Qiang Xu |
| 2023 | FMCAD | Local Search and Its Application in CDCL/CDCL(T) solvers for SAT/SMT. | Shaowei Cai |
| 2023 | FMCAD | Local Search For SMT On Linear and Multi-linear Real Arithmetic. | Bohan Li, Shaowei Cai |
| 2023 | ICCAD | Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking. | Zhihan Chen, Xindi Zhang, Yuhang Qian, Qiang Xu, Shaowei Cai |
| 2023 | IJCAI | PathLAD+: An Improved Exact Algorithm for Subgraph Isomorphism Problem. | Yiyuan Wang, Chenghou Jin, Shaowei Cai, Qingwei Lin |
| 2023 | SPLC | Generating Pairwise Covering Arrays for Highly Configurable Software Systems. | Chuan Luo, Jianping Song, Qiyuan Zhao, Yibei Li, Shaowei Cai, Chunming Hu |
| 2022 | AAAI | NukCP: An Improved Local Search Algorithm for Maximum k-Club Problem. | Jiejiang Chen, Yiyuan Wang, Shaowei Cai, Minghao Yin, Yupeng Zhou, Jieyu Wu |
| 2022 | AAAI | Improving Local Search Algorithms via Probabilistic Configuration Checking. | Weilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang |
| 2022 | CAV | Local Search for SMT on Linear Integer Arithmetic. | Shaowei Cai, Bohan Li, Xindi Zhang |
| 2022 | IJCAI | Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract). | Shaowei Cai, Xindi Zhang |
| 2021 | AAAI | NuQClq: An Effective Local Search Algorithm for Maximum Quasi-Clique Problem. | Jiejiang Chen, Shaowei Cai, Shiwei Pan, Yiyuan Wang, Qingwei Lin, Mengyu Zhao, Minghao Yin |
| 2021 | AAAI | Correlation-Aware Heuristic Search for Intelligent Virtual Machine Provisioning in Cloud Systems. | 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 | AAAI | PULNS: Positive-Unlabeled Learning with Effective Negative Sample Selector. | Chuan Luo, Pu Zhao, Chen Chen, Bo Qiao, Chao Du, Hongyu Zhang, Wei Wu, Shaowei Cai, Bing He, Saravanakumar Rajmohan, Qingwei Lin |
| 2021 | CP | Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper). | Shaowei Cai, Chuan Luo, Xindi Zhang, Jian Zhang |
| 2021 | CP | Improving Local Search for Minimum Weighted Connected Dominating Set Problem by Inner-Layer Local Search. | Bohan Li, Kai Wang, Yiyuan Wang, Shaowei Cai |
| 2021 | ICSE | FastCA: An Effective and Efficient Tool for Combinatorial Covering Array Generation. | Jinkun Lin, Shaowei Cai, Bing He, Yingjie Fu, Chuan Luo, Qingwei Lin |
| 2021 | ICSE | AutoCCAG: An Automated Approach to Constrained Covering Array Generation. | 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 | SAT | Deep Cooperation of CDCL and Local Search for SAT. | Shaowei Cai, Xindi Zhang |
| 2021 | SAT | Efficient Local Search for Pseudo Boolean Optimization. | Zhendong Lei, Shaowei Cai, Chuan Luo, Holger H. Hoos |
| 2020 | AAAI | Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem. | Peilin Chen, Hai Wan, Shaowei Cai, Jia Li, Haicheng Chen |
| 2020 | AAAI | Solving Set Cover and Dominating Set via Maximum Satisfiability. | Zhendong Lei, Shaowei Cai |
| 2020 | AAAI | Reduction and Local Search for Weighted Graph Coloring Problem. | Yiyuan Wang, Shaowei Cai, Shiwei Pan, Ximing Li, Minghao Yin |
| 2020 | CP | Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search. | Shaowei Cai, Xindi Zhang |
| 2020 | IJCAI | Two-goal Local Search and Inference Rules for Minimum Dominating Set. | Shaowei Cai, Wenying Hou, Yiyuan Wang, Chuan Luo, Qingwei Lin |
| 2020 | IJCAI | Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints. | Zhendong Lei, Shaowei Cai, Chuan Luo |
| 2020 | IJCAI | NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set. | Bohan Li, Xindi Zhang, Shaowei Cai, Jinkun Lin, Yiyuan Wang, Christian Blum |
| 2020 | IJCAI | NLocalSAT: Boosting Local Search with Solution Prediction. | Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang |
| 2020 | PPSN | PbO-CCSAT: Boosting Local Search for Satisfiability Using Programming by Optimisation. | Chuan Luo, Holger H. Hoos, Shaowei Cai |
| 2019 | IJCAI | Local Search with Efficient Automatic Configuration for Minimum Vertex Cover. | Chuan Luo, Holger H. Hoos, Shaowei Cai, Qingwei Lin, Hongyu Zhang, Dongmei Zhang |
| 2018 | AAAI | NuMWVC: A Novel Local Search for Minimum Weighted Vertex Cover Problem. | Ruizhi Li, Shaowei Cai, Shuli Hu, Minghao Yin, Jian Gao |
| 2018 | IJCAI | Improving Local Search for Minimum Weight Vertex Cover by Dynamic Strategies. | Shaowei Cai, Wenying Hou, Jinkun Lin, Yuanjie Li |
| 2018 | IJCAI | Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT. | Zhendong Lei, Shaowei Cai |
| 2018 | IJCAI | A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem on Massive Graphs. | Yiyuan Wang, Shaowei Cai, Jiejiang Chen, Minghao Yin |
| 2017 | IJCAI | From Decimation to Local Search and Back: A New Approach to MaxSAT. | Shaowei Cai, Chuan Luo, Haochen Zhang |
| 2017 | IJCAI | A Reduction based Method for Coloring Very Large Graphs. | Jinkun Lin, Shaowei Cai, Chuan Luo, Kaile Su |
| 2017 | IJCAI | CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract). | Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang |
| 2017 | IJCAI | Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function (Extended Abstract). | Yiyuan Wang, Shaowei Cai, Minghao Yin |
| 2017 | TAMC | Turbo-Charging Dominating Set with an FPT Subroutine: Further Improvements and Experimental Analysis. | Faisal N. Abu-Khzam, Shaowei Cai, Judith Egan, Peter Shaw, Kai Wang |
| 2016 | AAAI | Two Efficient Local Search Algorithms for Maximum Weight Clique Problem. | Yiyuan Wang, Shaowei Cai, Minghao Yin |
| 2016 | ICCD | A novel approach to parameterized verification of cache coherence protocols. | Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang, Shaowei Cai |
| 2016 | IJCAI | Fast Solving Maximum Weight Clique Problem in Massive Graphs. | Shaowei Cai, Jinkun Lin |
| 2015 | AAAI | Two Weighting Local Search for Minimum Vertex Cover. | Shaowei Cai, Jinkun Lin, Kaile Su |
| 2015 | IJCAI | Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs. | Shaowei Cai |
| 2015 | SAT | CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability. | Shaowei Cai, Chuan Luo, Kaile Su |
| 2014 | AAAI | Tailoring Local Search for Partial MaxSAT. | Shaowei Cai, Chuan Luo, John Thornton, Kaile Su |
| 2014 | AAAI | Double Configuration Checking in Stochastic Local Search for Satisfiability. | Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su |
| 2013 | AAAI | Improving WalkSAT for Random k-Satisfiability Problem with k > 3. | Shaowei Cai, Kaile Su, Chuan Luo |
| 2013 | CP | Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability. | Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su |
| 2013 | IJCAI | Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses. | Shaowei Cai, Kaile Su |
| 2012 | AAAI | Configuration Checking with Aspiration in Local Search for SAT. | Shaowei Cai, Kaile Su |
| 2012 | AAAI | Two New Local Search Strategies for Minimum Vertex Cover. | Shaowei Cai, Kaile Su, Abdul Sattar |
| 2012 | ECAI | Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking. | Chuan Luo, Kaile Su, Shaowei Cai |
| 2011 | ICTAI | Local Search with Configuration Checking for SAT. | Shaowei Cai, Kaile Su |
| 2010 | AAAI | EWLS: A New Local Search for Minimum Vertex Cover. | Shaowei Cai, Kaile Su, Qingliang Chen |