EWLS: A New Local Search for Minimum Vertex Cover. - Shaowei Cai 001; Kaile Su; Qingliang Chen (AAAI, 2010)

Local Search with Configuration Checking for SAT. - Shaowei Cai 001; Kaile Su (ICTAI, 2011)

Local search with edge weighting and configuration checking heuristics for minimum vertex cover. - Shaowei Cai 001; Kaile Su; Abdul Sattar 001 (Artif. Intell., 2011)

Configuration Checking with Aspiration in Local Search for SAT. - Shaowei Cai 001; Kaile Su (AAAI, 2012)

Two New Local Search Strategies for Minimum Vertex Cover. - Shaowei Cai 001; Kaile Su; Abdul Sattar 001 (AAAI, 2012)

Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking. - Chuan Luo 002; Kaile Su; Shaowei Cai 001 (ECAI, 2012)

Improving WalkSAT for Random k-Satisfiability Problem with k > 3. - Shaowei Cai 001; Kaile Su; Chuan Luo 002 (AAAI, 2013)

Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability. - Chuan Luo 002; Shaowei Cai 001; Wei Wu 042; Kaile Su (CP, 2013)

Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses. - Shaowei Cai 001; Kaile Su (IJCAI, 2013)

Local search for Boolean Satisfiability with configuration checking and subscore. - Shaowei Cai 001; Kaile Su (Artif. Intell., 2013)

A clique-superposition model for social networks. - Fei Yan; Shaowei Cai 001; Ming Zhang 004; Guojun Liu; Zhi-Hong Deng 001 (Sci. China Inf. Sci., 2013)

NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. - Shaowei Cai 001; Kaile Su; Chuan Luo 002; Abdul Sattar 001 (J. Artif. Intell. Res., 2013)

Tailoring Local Search for Partial MaxSAT. - Shaowei Cai 001; Chuan Luo 002; John Thornton 001; Kaile Su (AAAI, 2014)

Double Configuration Checking in Stochastic Local Search for Satisfiability. - Chuan Luo 002; Shaowei Cai 001; Wei Wu 042; Kaile Su (AAAI, 2014)

More efficient two-mode stochastic local search for random 3-satisfiability. - Chuan Luo 002; Kaile Su; Shaowei Cai 001 (Appl. Intell., 2014)

Scoring Functions Based on Second Level Score for k-SAT with Long Clauses. - Shaowei Cai 001; Chuan Luo 002; Kaile Su (J. Artif. Intell. Res., 2014)

Two Weighting Local Search for Minimum Vertex Cover. - Shaowei Cai 001; Jinkun Lin; Kaile Su (AAAI, 2015)

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

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

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

Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation. - Shaowei Cai 001; Chuan Luo 002; Kaile Su (Comput. J., 2015)

An effective variable selection heuristic in SLS for weighted Max-2-SAT. - Shaowei Cai 001; Zhong Jie; Kaile Su (J. Heuristics, 2015)

CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability. - Chuan Luo 002; Shaowei Cai 001; Wei Wu 042; Zhong Jie; Kaile Su (IEEE Trans. Computers, 2015)

Clause States Based Configuration Checking in Local Search for Satisfiability. - Chuan Luo 002; Shaowei Cai 001; Kaile Su; Wei Wu 042 (IEEE Trans. Cybern., 2015)

An I/O Efficient Approach for Detecting All Accepting Cycles. - Lijun Wu 001; Kaile Su; Shaowei Cai 001; Xiaosong Zhang 001; Chenyi Zhang 001; Shupeng Wang (IEEE Trans. Software Eng., 2015)

An I/O Efficient Model Checking Algorithm for Large-Scale Systems. - Lijun Wu 001; Huijia Huang; Kaile Su; Shaowei Cai 001; Xiaosong Zhang 001 (IEEE Trans. Very Large Scale Integr. Syst., 2015)

Two Efficient Local Search Algorithms for Maximum Weight Clique Problem. - Yiyuan Wang 002; Shaowei Cai 001; Minghao Yin (AAAI, 2016)

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

Fast Solving Maximum Weight Clique Problem in Massive Graphs. - Shaowei Cai 001; Jinkun Lin (IJCAI, 2016)

New local search methods for partial MaxSAT. - Shaowei Cai 001; Chuan Luo 002; Jinkun Lin; Kaile Su (Artif. Intell., 2016)

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

From Decimation to Local Search and Back: A New Approach to MaxSAT. - Shaowei Cai 001; Chuan Luo 002; Haochen Zhang (IJCAI, 2017)

A Reduction based Method for Coloring Very Large Graphs. - Jinkun Lin; Shaowei Cai 001; Chuan Luo 002; Kaile Su (IJCAI, 2017)

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

Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function (Extended Abstract). - Yiyuan Wang 002; Shaowei Cai 001; Minghao Yin (IJCAI, 2017)

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

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

CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability. - Chuan Luo 002; Shaowei Cai 001; Kaile Su; Wenxuan Huang (Artif. Intell., 2017)

An efficient local search algorithm for the winner determination problem. - Haochen Zhang; Shaowei Cai 001; Chuan Luo 002; Minghao Yin (J. Heuristics, 2017)

Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess. - Shaowei Cai 001; Jinkun Lin; Chuan Luo 002 (J. Artif. Intell. Res., 2017)

Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function. - Yiyuan Wang 002; Shaowei Cai 001; Minghao Yin (J. Artif. Intell. Res., 2017)

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

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

Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT. - Zhendong Lei; Shaowei Cai 001 (IJCAI, 2018)

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

FPGA Acceleration to Solve Maximum Clique Problems Encoded into Partial MaxSAT. - Kenji Kanazawa; Shaowei Cai 001 (MCSoC, 2018)

Efficient zonal diagnosis with maximum satisfiability. - Meng Liu; Dantong Ouyang; Shaowei Cai 001; Liming Zhang 005 (Sci. China Inf. Sci., 2018)

New heuristic approaches for maximum balanced biclique problem. - Yiyuan Wang 002; Shaowei Cai 001; Minghao Yin (Inf. Sci., 2018)

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

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

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

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

Constrained maximum weighted bipartite matching: a novel approach to radio broadcast scheduling. - Shaojiang Wang; Tianyong Wu; Yuan Yao; Dongbo Bu; Shaowei Cai 001 (Sci. China Inf. Sci., 2019)

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

Empirical investigation of stochastic local search for maximum satisfiability. - Yi Chu; Chuan Luo 002; Shaowei Cai 001; Haihang You (Frontiers Comput. Sci., 2019)

Towards faster local search for minimum weight vertex cover on massive graphs. - Shaowei Cai 001; Yuanjie Li; Wenying Hou; Haoran Wang (Inf. Sci., 2019)

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

Solving Set Cover and Dominating Set via Maximum Satisfiability. - Zhendong Lei; Shaowei Cai 001 (AAAI, 2020)

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

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

Two-goal Local Search and Inference Rules for Minimum Dominating Set. - Shaowei Cai 001; Wenying Hou; Yiyuan Wang 002; Chuan Luo 002; Qingwei Lin (IJCAI, 2020)

Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints. - Zhendong Lei; Shaowei Cai 001; Chuan Luo 002 (IJCAI, 2020)

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

NLocalSAT: Boosting Local Search with Solution Prediction. - Wenjie Zhang 007; Zeyu Sun 004; Qihao Zhu; Ge Li 001; Shaowei Cai 001; Yingfei Xiong 001; Lu Zhang 023 (IJCAI, 2020)

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

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

Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability. - Shaowei Cai 001; Zhendong Lei (Artif. Intell., 2020)

SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem. - Yiyuan Wang 002; Shaowei Cai 001; Jiejiang Chen; Minghao Yin (Artif. Intell., 2020)

NuDist: An Efficient Local Search Algorithm for (Weighted) Partial MaxSAT. - Zhendong Lei; Shaowei Cai 001 (Comput. J., 2020)

WCA: A weighting local search for constrained combinatorial test optimization. - Yingjie Fu; Zhendong Lei; Shaowei Cai 001; Jinkun Lin; Haoran Wang (Inf. Softw. Technol., 2020)

An efficient local search algorithm for solving maximum edge weight clique problem in large graphs. - Yi Chu; Boxiao Liu; Shaowei Cai 001; Chuan Luo 002; Haihang You (J. Comb. Optim., 2020)

NuMWVC: A novel local search for minimum weighted vertex cover problem. - Ruizhi Li; Shuli Hu; Shaowei Cai 001; Jian Gao 007; Yiyuan Wang 002; Minghao Yin (J. Oper. Res. Soc., 2020)

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

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

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

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

Improving Local Search for Minimum Weighted Connected Dominating Set Problem by Inner-Layer Local Search. - Bohan Li 002; Kai Wang; Yiyuan Wang 002; Shaowei Cai 001 (CP, 2021)

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

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

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

Efficient Local Search for Pseudo Boolean Optimization. - Zhendong Lei; Shaowei Cai 001; Chuan Luo 002; Holger H. Hoos (SAT, 2021)

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

A Semi-exact Algorithm for Quickly Computing A Maximum Weight Clique in Large Sparse Graphs. - Shaowei Cai 001; Jinkun Lin; Yiyuan Wang 002; Darren Strash (J. Artif. Intell. Res., 2021)

Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set. - Xindi Zhang; Bohan Li 002; Shaowei Cai 001; Yiyuan Wang 002 (J. Artif. Intell. Res., 2021)

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

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

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

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

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

Better Decision Heuristics in CDCL through Local Search and Target Phases. - Shaowei Cai 001; Xindi Zhang; Mathias Fleury; Armin Biere (J. Artif. Intell. Res., 2022)

Improving Simulated Annealing for Clique Partitioning Problems. - Jian Gao 007; Yiqi Lv; Minghao Liu 001; Shaowei Cai 001; Feifei Ma (J. Artif. Intell. Res., 2022)

Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract). - Minghao Liu 001; Pei Huang 002; Fuqi Jia; Fan Zhang; Yuchen Sun; Shaowei Cai 001; Feifei Ma; Jian Zhang 001 (AAAI, 2023)

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

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

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

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

Local Search and Its Application in CDCL/CDCL(T) solvers for SAT/SMT. - Shaowei Cai 001 (FMCAD, 2023)

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

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

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

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

Generating Pairwise Covering Arrays for Highly Configurable Software Systems. - Chuan Luo 002; Jianping Song; Qiyuan Zhao; Yibei Li; Shaowei Cai 001; Chunming Hu (SPLC (A), 2023)

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

Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks. - Pengfei Yang 002; Zhiming Chi; Zongxin Liu 001; Mengyu Zhao; Cheng-Chao Huang; Shaowei Cai 001; Lijun Zhang 001 (CoRR, 2023)

Local Search For SMT On Linear and Multilinear Real Arithmetic. - Bohan Li 002; Shaowei Cai 001 (CoRR, 2023)

Local Search for Integer Linear Programming. - Peng Lin; Shaowei Cai 001; Mengchuan Zou; Jinkun Lin (CoRR, 2023)

Preface to the Special Issue on Constraint Solving and Theorem Proving. - Shaowei Cai 001; Zhenbang Chen; Ji Wang 001; Bohua Zhan; Yongwang Zhao (Int. J. Softw. Informatics, 2023)

Towards more efficient local search algorithms for constrained clustering. - Jian Gao 007; Xiaoxia Tao; Shaowei Cai 001 (Inf. Sci., 2023)

Local Search For Satisfiability Modulo Integer Arithmetic Theories. - Shaowei Cai 001; Bohan Li 002; Xindi Zhang (ACM Trans. Comput. Log., 2023)

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

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

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

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

A Local Search Algorithm for MaxSMT(LIA). - Xiang He 005; Bohan Li 002; Mengyu Zhao; Shaowei Cai 001 (FM (1), 2024)

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

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

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

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

Efficient Local Search for Nonlinear Real Arithmetic. - Zhonghan Wang; Bohua Zhan; Bohan Li 002; Shaowei Cai 001 (VMCAI (1), 2024)

PathLAD+: Towards effective exact methods for subgraph isomorphism problem. - Yiyuan Wang 002; Chenghou Jin; Shaowei Cai 001 (Artif. Intell., 2024)

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

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

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

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

Local Search for Integer Quadratic Programming. - Xiang He 005; Peng Lin; Shaowei Cai 001 (CoRR, 2024)

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout. - Bohan Li 002; Dawei Li; Ming Fu; Shaowei Cai 001 (CoRR, 2024)

Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter. - Weilin Luo; Polong Chen; Hai Wan; Hongzhen Zhong; Shaowei Cai 001; Zhanhao Xiao (J. Syst. Softw., 2024)

A local search approach to protocol verification. - Kun Ma; Yongjian Li; Shaowei Cai 001; Yongxin Zhao (Theor. Comput. Sci., 2024)

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

NuSC: An Effective Local Search Algorithm for Solving the Set Covering Problem. - Chuan Luo 002; Wenqian Xing; Shaowei Cai 001; Chunming Hu (IEEE Trans. Cybern., 2024)

Local-MIP. - Peng Lin; Mengchuan Zou; Shaowei Cai 001 (DROPS Artifacts, 2024)

Heuristic Search with Cut Point Based Strategy for Critical Node Problem. - Zhihan Chen; Shaowei Cai 001; Jian Gao 007; Shike Ge; Chanjuan Liu; Jinkun Lin (J. Comput. Sci. Technol., 2024)

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

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

Optimizing local search-based partial MaxSAT solving via initial assignment prediction. - Chanjuan Liu; Guangyuan Liu; Chuan Luo 002; Shaowei Cai 001; Zhendong Lei; Wenjie Zhang 007; Yi Chu; Guojing Zhang (Sci. China Inf. Sci., 2025)

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

Improving Local Search Algorithm for Pseudo Boolean Optimization. - Yujiao Zhao; Yiyuan Wang 002; Yi Chu; Wenbo Zhou; Shaowei Cai 001; Minghao Yin (J. Artif. Intell. Res., 2025)

Datapath Combinational Equivalence Checking With Hybrid Sweeping Engines and Parallelization. - Zhihan Chen; Xindi Zhang; Yuhang Qian; Shaowei Cai 001 (CoRR, 2025)

Automatically discovering heuristics in a complex SAT solver with large language models. - Yiwen Sun; Furong Ye; Zhihan Chen; Ke Wei; Shaowei Cai 001 (CoRR, 2025)