"Effective Preprocessing in SAT Through Variable and Clause Elimination."

Niklas Eén, Armin Biere (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics