📝 Publications

‡ Sorted by the Last Name; † Co-First Author; * Corresponding Author;

Conference Papers

[C3] SAT 2021

[C3] Deep Cooperation of CDCL and Local Search for SAT

Shaowei Cai†*, Xindi Zhang† 2021.07, pp 64–81 💾code

(Best Paper Award)🏆

[Projects]

💾Relaxed-LCMDCBDL-newTech 🥇

💾LSTech-Maple 🥈

💾kissat-pre 🥇; 💾kissat-inc 🥈

• [14] CP 2025 DynamicSAT: Dynamic Configuration Tuning for SAT Solving.
  Zhengyuan Shi, Wentao Jiang, Xindi Zhang*, Jin Luo, Yun Liang, Zhufei Chu, Qiang Xu*.

• [C13] DAC 2025 PastATPG: A Hybrid ATPG Framework for Better Test Compaction with Partial Assignment SAT.
  Zhiteng Chao†, Xindi Zhang†, Xinyu Zhang, Jianan Mu*, Zizhen Liu, Shaowei Cai*, Jing Ye, Xiaowei Li and Huawei Li*.
  💾PastATPG 💾PA-Minisat

• [C12] DAC 2025 Leveraging Critical Proof Obligations for Efficient IC3 Verification.
  Lingfeng Zhu, Xindi Zhang, Yongjian Li* and Shaowei Cai.
  💾MCer

• [C11] DAC 2025 X-SAT: An Efficient Circuit-Based SAT Solver.
  Yuhang Qian, Zhihan Chen, Xindi Zhang and Shaowei Cai*.
  💾X-SAT

• [C10] DAC 2025 Parallel Dynamic Partitioning for Datapath Combinational Equivalence Checking.
  Shuai Zhou, Weikang Zhang, Xindi Zhang, Zite Jiang, Haihang You* and Shaowei Cai*.

• [C9] ICSE 2024 Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory.
  Xindi Zhang, Bohan Li, Shaowei Cai*. 2024.03 (Article No.: 125, Pages 1–13)
  💾hybridSMT 💾z3++ 🎞️Slides

• [C8] ASP-DAC 2024 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.03 (pp. 503-508)

• [C7] ICCAD 2023 Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking.
  Zhihan Chen, Xindi Zhang, Yuhang Qian, Qiang Xu, Shaowei Cai*. 2023.10 (pp. 1-9)
  💾hybridCEC 🎞️Slides

• [C6] CP 2023 Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper).
  Shaowei Cai, Chuan Luo, Xindi Zhang and Jian Zhang. 2023.07 (pp. 5:1-5:10)
  💾CNC

• [C5] CAV 2022 Local Search For SMT on Linear Integer Arithmetic.
  ‡Shaowei Cai*, Bohan Li, Xindi Zhang. 2022.08, (pp. 227-248)
  💾z3++

• [C4] IJCAI 2022 Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract).
  Shaowei Cai, Xindi Zhang. 2022 (pp. 5274-5278)
  💾code

• [C2] CP 2020 Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search.
  Shaowei Cai*, Xindi Zhang. 2020.09 (pp. 90-106)
  💾LinearLS

• [C1] IJCAI 2020 NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set.
  Bohan Li, Xindi Zhang, Shaowei Cai*, Jinkun Lin, Yiyuan Wang, Cristain Blum. 2020, (pp. 1503-1510)
  💾NuCDS

Journal Papers

• [J5] COR A fast local search algorithm for minimum sum coloring problem on massive graphs
  Yan Li, Mengyu Zhao, Xindi Zhang, Yiyuan Wang*. 2024.09 (Vol. 172 (2024), 106794)

• [J4] Integration 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, Shaowei Cai*, Huawei Li*, Xiaowei Li. 2024.08 (Vol. 100 (2024): 102265.)

• [J3] ToCL Local Search For Satisfiability Modulo Integer Arithmetic Theories.
  ‡Shaowei Cai*, Bohan Li, Xindi Zhang. 2023.07 (Vol 24(4): No.32, pp. 1-26)
  💾z3++

• [J2] JAIR Better Decision Heuristics in CDCL through Local Search and Target Phases.
  Shaowei Cai*, Xindi Zhang, Mathias Fleury, Armin Biere. 2022.08 (Vol. 74 (2022):1515-1563.)
  💾code

• [J1] JAIR Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set.
  Xindi Zhang, Bohan Li, Shaowei Cai*, Yiyuan Wang*. 2021.05 (Vol. 71 (2021), pp. 81-119)
  💾FastCDS 💾NuCDS

Thesis

• [D] ISCAS Hybrid Algorithms for SAT and SMT and Their Applications
  Xindi Zhang. 2024.05 (ISCAS PHD Thesis)
  🎞️Slides