Efficiency of Local Search.

Andrei A. Bulatov, Evgeny S. Skvortsov

Browse the full SAT paper archive.