Feng LuLi-C. WangK-T. ChengCHUNG-YANG HUANG2018-09-102018-09-102003-03http://scholars.lib.ntu.edu.tw/handle/123456789/304251A Circuit SAT Solver with Signal Correlation Guided Learningconference paper10.1109/DATE.2003.12537192-s2.0-84893813903