@misc{indiciaefcb99fe924b3,
  title = {Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving},
  author = {Zhengyuan Shi and Tiebing Tang and Jiaying Zhu and Sadaf Khan and Hui-Ling Zhen and Mingxuan Yuan and Zhufei Chu and Qiang Xu},
  year = {2025},
  url = {https://arxiv.org/abs/2403.19446},
  note = {Source identifier: 2403.19446}
}