On the Relative Merits of Simple Local Search Methods for the MAX-SAT Problem.

Denis Pankratov, Allan Borodin

Browse the full SAT paper archive.