Warped landscapes and random acts of SAT solving (2004)

by D A D Tompkins, H H Hoos
Venue:In Proceedings of the Eighth International Symposium on Artificial Intelligence and Mathematics, Piscataway, NJ