Captain Jack: New Variable Selection Heuristics in Local Search for SAT.

Dave A. D. Tompkins, Adrian Balint, Holger H. Hoos

Browse the full SAT paper archive.