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