Captain Jack: New variable selection heuristics in local search for SAT (2011)

by Dave A D Tompkins, Adrian Balint, Holger H Hoos
Venue:In Proceedings of SAT-2011