New Algorithms for k -SAT Based on the Local Search Principle.

Uwe Schning

Browse the full MFCS paper archive.