Efficient CNF Simplification Based on Binary Implication Graphs.

Marijn Heule, Matti Jrvisalo, Armin Biere

Browse the full SAT paper archive.