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)

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

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

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

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

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

Automatically discovering heuristics in a complex SAT solver with large language models. - Yiwen Sun; Furong Ye; Zhihan Chen 001; Ke Wei; Shaowei Cai 001 (CoRR, 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)