Xindi Zhang

According to our database, Xindi Zhang authored at least 23 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Rethinking Clause Management for CDCL SAT Solvers.

Yalun Cai, Xindi Zhang, Zhengyuan Shi, Mengxia Tao, Qiang Xu

CoRR, February, 2026

Datapath Combinational Equivalence Checking With Hybrid Sweeping Engines and Parallelization.

Zhihan Chen, Xindi Zhang, Yuhang Qian, Shaowei Cai

ACM Trans. Design Autom. Electr. Syst., January, 2026

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines.

Xindi Zhang, Furong Ye, Zhihan Chen, Shaowei Cai

Proceedings of the Formal Methods - 27th International Symposium, 2026

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, Shaowei Cai, Huawei Li, Xiaowei Li

Integr., 2025

SMTgazer: Learning to Schedule SMT Algorithms via Bayesian Optimization.

Chuan Luo, Shaoke Cui, Jianping Song, Xindi Zhang, Wei Wu, Chanjuan Liu, Shaowei Cai, Chunming Hu

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

Leveraging Critical Proof Obligations for Efficient IC3 Verification.

Lingfeng Zhu, Xindi Zhang, Yongjian Li, Shaowei Cai

Proceedings of the 62nd ACM/IEEE Design Automation Conference, 2025

Parallel Dynamic Partitioning for Datapath Combinational Equivalence Checking.

Shuai Zhou, Weikang Zhang, Xindi Zhang, Zite Jiang, Haihang You, Shaowei Cai

Proceedings of the 62nd ACM/IEEE Design Automation Conference, 2025

X-SAT: An Efficient Circuit-Based SAT Solver.

Yuhang Qian, Zhihan Chen, Xindi Zhang, Shaowei Cai

Proceedings of the 62nd ACM/IEEE Design Automation Conference, 2025

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

Proceedings of the 62nd ACM/IEEE Design Automation Conference, 2025

DynamicSAT: Dynamic Configuration Tuning for SAT Solving.

Zhengyuan Shi, Wentao Jiang, Xindi Zhang, Jin Luo, Yun Liang, Zhufei Chu, Qiang Xu

Proceedings of the 31st International Conference on Principles and Practice of Constraint Programming, 2025

2024

Revisiting Restarts of CDCL: Should the Search Information be Preserved?

Xindi Zhang, Zhihan Chen, Shaowei Cai

CoRR, 2024

Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory.

Xindi Zhang, Bohan Li, Shaowei Cai

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 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

Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024

2023

Local Search For Satisfiability Modulo Integer Arithmetic Theories.

Shaowei Cai, Bohan Li, Xindi Zhang

ACM Trans. Comput. Log., October, 2023

Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking.

Zhihan Chen, Xindi Zhang, Yuhang Qian, Qiang Xu, Shaowei Cai

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

2022

Better Decision Heuristics in CDCL through Local Search and Target Phases.

Shaowei Cai, Xindi Zhang, Mathias Fleury, Armin Biere

J. Artif. Intell. Res., 2022

Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract).

Shaowei Cai, Xindi Zhang

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Local Search for SMT on Linear Integer Arithmetic.

Shaowei Cai, Bohan Li, Xindi Zhang

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set.

Xindi Zhang, Bohan Li, Shaowei Cai, Yiyuan Wang

J. Artif. Intell. Res., 2021

Deep Cooperation of CDCL and Local Search for SAT.

Shaowei Cai, Xindi Zhang

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

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

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020

NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set.

Bohan Li, Xindi Zhang, Shaowei Cai, Jinkun Lin, Yiyuan Wang, Christian Blum

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search.

Shaowei Cai, Xindi Zhang

Proceedings of the Principles and Practice of Constraint Programming, 2020