Tiebing Tang
Zhengyuan Shi
Tiebing Tang
Jiaying Zhu
Sadaf Khan
Hui-Ling Zhen
Mingxuan Yuan
Zhufei Chu
Qiang Xu 0001
Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving.
1-7
2025
DAC
https://doi.org/10.1109/DAC63849.2025.11133310
conf/dac/2025
db/conf/dac/dac2025.html#ShiTZKZYCX25
streams/conf/dac
Zhengyuan Shi
Tiebing Tang
Sadaf Khan
Hui-Ling Zhen
Mingxuan Yuan
Zhufei Chu
Qiang Xu 0001
EDA-Driven Preprocessing for SAT Solving.
2024
abs/2403.19446
CoRR
https://doi.org/10.48550/arXiv.2403.19446
db/journals/corr/corr2403.html#abs-2403-19446
Zhufei Chu
Sadaf Khan
Zhengyuan Shi
Qiang Xu 0001
Mingxuan Yuan
Hui-Ling Zhen
Jiaying Zhu