Yuheng Su

Orcid: 0009-0009-2571-8135

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

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

Deeply Optimizing the SAT Solver for the IC3 Algorithm.

[BibT_eX]

[DOI]

CoRR, January, 2025

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

[BibT_eX]

[DOI]

CoRR, January, 2025

2024

A Time-Aware Recommendation Model with Social Impact.

[BibT_eX]

[DOI]

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

Predicting Lemmas in Generalization of IC3.

[BibT_eX]

[DOI]

Yuheng Su

Qiusong Yang

Yiwei Ci

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

Yuheng Su

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...