Algorithms for SAT Based on Search in Hamming Balls.

Evgeny Dantsin, Edward A. Hirsch, Alexander Wolpert

Browse the full STACS paper archive.