Improving Backtrack Search for SAT by Means of Redundancy.

Laure Brisoux, ric Grgoire, Lakhdar Sais

Browse the full ISMIS paper archive.