Redundancy in Random SAT Formulas.

Yacine Boufkhad, Olivier Roussel

Browse the full AAAI paper archive.