Olivier Fourdrinoy Éric Grégoire Bertrand Mazure Lakhdar Sais Eliminating Redundant Clauses in SAT Instances. 71-83 2007 conf/cpaior/2007 CPAIOR http://dx.doi.org/10.1007/978-3-540-72397-4_6 db/conf/cpaior/cpaior2007.html#FourdrinoyGMS07