Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving.

Zhengyuan Shi, Tiebing Tang, Jiaying Zhu, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu

Browse the full DAC paper archive.