QuteSAT: A Robust Circuit-based SAT Solver for Complex Circuit Structure

Journal

Design Automation and Test in Europe (DATE) Conference

Pages

1313-1318

Date Issued

2007-04

Author(s)

Chi-An Wu

Ting-Hao Lin

Chih-Chun Lee

Chung-Yang (Ric) Huang

CHUNG-YANG HUANG

DOI

10.1109/DATE.2007.364479

URI

http://scholars.lib.ntu.edu.tw/handle/123456789/333821

Type

conference paper