@misc{indiciae21a9e30296b7,
  title = {Deeply Optimizing the SAT Solver for the IC3 Algorithm},
  author = {Yuheng Su and Qiusong Yang and Yiwei Ci and Yingcheng Li and Tianjun Bu and Ziyu Huang},
  year = {2025},
  url = {https://arxiv.org/abs/2501.18612},
  note = {Source identifier: 2501.18612}
}