Effective Preprocessing in SAT Through Variable and Clause Elimination.

Niklas Eén Armin Biere Effective Preprocessing in SAT Through Variable and Clause Elimination. 61-75 2005 conf/sat/2005 SAT http://dx.doi.org/10.1007/11499107_5 db/conf/sat/sat2005.html#EenB05