Exploring the landscape of the space of heuristics for local search in SAT.

Andrew W. Burnett, Andrew J. Parkes

Browse the full CEC paper archive.