Local Search for Very Large SAT Problems.

Steven D. Prestwich, Colin Quirke

Browse the full SAT paper archive.