A Restriction of Extended Resolution for Clause Learning SAT Solvers.

Gilles Audemard, George Katsirelos, Laurent Simon

Browse the full AAAI paper archive.