SAT with partial clauses and back-leaps. - Slawomir Pilarski; Gracia Hu (DAC, 2002)

Speeding up SAT for EDA. - Slawomir Pilarski; Gracia Hu (DATE, 2002)