Preprocessing of Propagation Redundant Clauses.

Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant

Browse the full CADE paper archive.