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

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

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 001; Jian Zhang 001 (CP, 2021)

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

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

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

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

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

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

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

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

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

A fast local search algorithm for minimum sum coloring problem on massive graphs. - Yan Li; Mengyu Zhao; Xindi Zhang 001; Yiyuan Wang 002 (Comput. Oper. Res., 2024)

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

DynamicSAT: Dynamic Configuration Tuning for SAT Solving. - Zhengyuan Shi; Wentao Jiang; Xindi Zhang 001; Jin Luo; Yun Liang 001; Zhufei Chu; Qiang Xu 001 (CP, 2025)

PastATPG: A Hybrid ATPG Framework for Better Test Compaction with Partial Assignment SAT. - Zhiteng Chao; Xindi Zhang 001; Xinyu Zhang; Jianan Mu; Zizhen Liu; Shengwen Liang; Shaowei Cai 001; Jing Ye 001; Xiaowei Li 001; Huawei Li 001 (DAC, 2025)

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

Parallel Dynamic Partitioning for Datapath Combinational Equivalence Checking. - Shuai Zhou; Weikang Zhang; Xindi Zhang 001; Zite Jiang; Haihang You; Shaowei Cai 001 (DAC, 2025)

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

SMTgazer: Learning to Schedule SMT Algorithms via Bayesian Optimization. - Chuan Luo 002; Shaoke Cui; Jianping Song; Xindi Zhang 001; Wei Wu 011; Chanjuan Liu 001; Shaowei Cai 001; Chunming Hu (ASE, 2025)

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

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines. - Xindi Zhang 001; Furong Ye; Zhihan Chen 001; Shaowei Cai 001 (FM (1), 2026)

Datapath Combinational Equivalence Checking With Hybrid Sweeping Engines and Parallelization. - Zhihan Chen 001; Xindi Zhang 001; Yuhang Qian; Shaowei Cai 001 (ACM Trans. Design Autom. Electr. Syst., 2026)

Rethinking Clause Management for CDCL SAT Solvers. - Yalun Cai; Xindi Zhang 001; Zhengyuan Shi; Mengxia Tao; Qiang Xu 001 (CoRR, 2026)