Warped Landscapes and Random Acts of SAT Solving.

Dave A. D. Tompkins, Holger H. Hoos

Browse the full ISAIM paper archive.