| 2026 | FM | FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines. | Xindi Zhang, Furong Ye, Zhihan Chen, Shaowei Cai |
| 2025 | CP | DynamicSAT: Dynamic Configuration Tuning for SAT Solving. | Zhengyuan Shi, Wentao Jiang, Xindi Zhang, Jin Luo, Yun Liang, Zhufei Chu, Qiang Xu |
| 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 |
| 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 | ICSE | Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory. | Xindi Zhang, 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 | ICCV | RenderIH: A Large-scale Synthetic Dataset for 3D Interacting Hand Pose Estimation. | Lijun Li, Linrui Tian, Xindi Zhang, Qi Wang, Bang Zhang, Liefeng Bo, Mengyuan Liu, Chen Chen |
| 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 | 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 | SAT | Deep Cooperation of CDCL and Local Search for SAT. | Shaowei Cai, Xindi Zhang |
| 2020 | CP | Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search. | Shaowei Cai, Xindi Zhang |
| 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 |
| 2019 | ICVS | Critical Infrastructure Security Against Drone Attacks Using Visual Analytics. | Xindi Zhang, Krishna Chandramouli |
| 2019 | VCIP | Real-Time Multi-Target Multi-Camera Tracking with Spatial-Temporal Information. | Xindi Zhang, Ebroul Izquierdo |