QuteSAT: a robust circuit-based SAT solver for complex circuit structure DATE 2007 2007 Authors: Chi-An Wu, Ting-Hao Lin, Chih-Chun Lee, Chung-Yang Huang
