Yechuan Xia

According to our database, Yechuan Xia authored at least 6 papers between 2022 and 2026.

Collaborative distances:

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

2026

Understanding CDCL Solvers via Scalability Studies and Proofdoors.

Shimin Zhang, Yechuan Xia, Chunxiao Li, Jianwen Li, Moshe Y. Vardi, Vijay Ganesh

CoRR, May, 2026

2024

Artifact for CAV'24 paper "Avoiding the Shoals - A New Approach to Liveness Checking".

Yechuan Xia, Alessandro Cimatti, Alberto Griggio, Jianwen Li

Dataset, April, 2024

Avoiding the Shoals - A New Approach to Liveness Checking.

Yechuan Xia, Alessandro Cimatti, Alberto Griggio, Jianwen Li

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Accelerate Safety Model Checking Based on Complementary Approximate Reachability.

Xiaoyu Zhang, Shengping Xiao, Yechuan Xia, Jianwen Li, Mingsong Chen, Geguang Pu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., September, 2023

Searching for i-Good Lemmas to Accelerate Safety Model Checking.

Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Identifying Boundary Conditions with the Syntax and Semantic Information of Goals.

Yechuan Xia, Jianwen Li, Shengping Xiao, Weikai Miao, Geguang Pu

CoRR, 2022