GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability.

Gilles Audemard, Laurent Simon

Browse the full IJCAI paper archive.