Warped landscapes and random acts of SAT solving (2004)

by Dave A. D. Tompkins , Holger H. Hoos
Venue:In Proc. of the Eighth Int’l Symposium on Artificial Intelligence and Mathematics (ISAIM-04
Citations:16 - 6 self