Zhihan Chen

According to our database, Zhihan Chen authored at least 9 papers between 2023 and 2026.

Collaborative distances:

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

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

Automatically discovering heuristics in a complex SAT solver with large language models.

Yiwen Sun, Furong Ye, Zhihan Chen, Ke Wei, Shaowei Cai

CoRR, July, 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

2024

Heuristic Search with Cut Point Based Strategy for Critical Node Problem.

Zhihan Chen, Shaowei Cai, Jian Gao, Shike Ge, Chanjuan Liu, Jinkun Lin

J. Comput. Sci. Technol., November, 2024

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

Xindi Zhang, Zhihan Chen, Shaowei Cai

CoRR, 2024

ParaILP: A Parallel Local Search Framework for Integer Linear Programming with Cooperative Evolution Mechanism.

Peng Lin, Mengchuan Zou, Zhihan Chen, Shaowei Cai

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization.

Zhihan Chen, Peng Lin, Hao Hu, Shaowei Cai

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

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