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