Covered Clauses Are Not Propagation Redundant.

Lee A. Barnett, David M. Cerna, Armin Biere

Browse the full CADE paper archive.