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