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

Chi-An WuTing-Hao LinChih-Chun LeeChung-Yang (Ric) HuangCHUNG-YANG HUANG2018-09-102018-09-102007-04http://scholars.lib.ntu.edu.tw/handle/123456789/333821QuteSAT: A Robust Circuit-based SAT Solver for Complex Circuit Structureconference paper10.1109/DATE.2007.3644792-s2.0-34548295213