Warped landscapes and random acts of SAT solving (2004)

by D A D Tompkins, H H Hoos
Venue:In Proc. of the Eighth Int’l Symposium on Artificial Intelligence and Mathematics (ISAIM04