QuteSAT: a robust circuit-based SAT solver for complex circuit structure.

Chi-An Wu, Ting-Hao Lin, Chih-Chun Lee, Chung-Yang Huang

Browse the full DATE paper archive.