QuteSAT: a robust circuit-based SAT solver for complex circuit structure - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chi-An Wu, Ting-Hao Lin, Chih-Chun Lee, Chung-Yang Huang. QuteSAT: a robust circuit-based SAT solver for complex circuit structure. In Rudy Lauwereins, Jan Madsen, editors, 2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007), April 16-20, 2007, Nice, France. pages 1313-1318, ACM, 2007. [doi]

This author has not been identified. Look up 'Chi-An Wu' in GoogleThis author has not been identified. Look up 'Ting-Hao Lin' in GoogleThis author has not been identified. Look up 'Chih-Chun Lee' in GoogleThis author has not been identified. Look up 'Chung-Yang Huang' in Google

runs on WebDSL