Eliminating Redundant Clauses in SAT Instances.

Olivier Fourdrinoy, ric Grgoire, Bertrand Mazure, Lakhdar Sais

Browse the full CPAIOR paper archive.