Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One.

Ignasi Abo, Morgan Deters, Robert Nieuwenhuis, Peter J. Stuckey

Browse the full SAT paper archive.