Yuheng Su

According to our database, Yuheng Su authored at least 5 papers between 2024 and 2025.

Collaborative distances:

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

2025

Extended CTG Generalization and Dynamic Adjustment of Generalization Strategies in IC3.

Yuheng Su, Qiusong Yang, Yiwei Ci, Ziyu Huang

CoRR, January, 2025

Deeply Optimizing the SAT Solver for the IC3 Algorithm.

Yuheng Su, Qiusong Yang, Yiwei Ci, Yingcheng Li, Tianjun Bu, Ziyu Huang

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

The rIC3 Hardware Model Checker.

Yuheng Su, Qiusong Yang, Yiwei Ci, Tianjun Bu, Ziyu Huang

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

A Time-Aware Recommendation Model with Social Impact.

Yuheng Su, Yi Zhu, Mei Song, Weichao He, Guosheng Hao

Proceedings of the 11th International Conference on Dependable Systems and Their Applications, 2024

Predicting Lemmas in Generalization of IC3.

Yuheng Su, Qiusong Yang, Yiwei Ci

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024