Blocked Clause Elimination.

Matti Jrvisalo, Armin Biere, Marijn Heule

Browse the full TACAS paper archive.