SAT with partial clauses and back-leaps.

Slawomir Pilarski, Gracia Hu

Browse the full DAC paper archive.