Warped landscapes and random acts of SAT solving (2004)

by D Tompkins, H Hoos
Venue:In Proceedings of the 8th International Symposium on Artificial Intelligence and Mathematics, AIMA-04