TY  - RPRT
TI  - Deeply Optimizing the SAT Solver for the IC3 Algorithm
AU  - Yuheng Su
AU  - Qiusong Yang
AU  - Yiwei Ci
AU  - Yingcheng Li
AU  - Tianjun Bu
AU  - Ziyu Huang
PY  - 2025
UR  - https://arxiv.org/abs/2501.18612
ID  - 2501.18612
ER  -