TY  - RPRT
TI  - Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving
AU  - Zhengyuan Shi
AU  - Tiebing Tang
AU  - Jiaying Zhu
AU  - Sadaf Khan
AU  - Hui-Ling Zhen
AU  - Mingxuan Yuan
AU  - Zhufei Chu
AU  - Qiang Xu
PY  - 2025
UR  - https://arxiv.org/abs/2403.19446
ID  - 2403.19446
ER  -