A Circuit SAT Solver With Signal Correlation Guided Learning. - Feng Lu 002; Li-C. Wang; Kwang-Ting Cheng; Ric C.-Y. Huang (DATE, 2003)