Encoding Redundancy for Satisfaction-Driven Clause Learning.

Marijn J. H. Heule, Benjamin Kiesl, Armin Biere

Browse the full TACAS paper archive.