Yacine Boufkhad Olivier Roussel Redundancy in Random SAT Formulas. 273-278 2000 conf/aaai/2000 AAAI/IAAI db/conf/aaai/aaai2000.html#BoufkhadR00