Random constraint satisfaction: Easy generation of hard (satisfiable) instances (2007)

by K Xu, F Boussemart, F Hemery, C Lecoutre
Venue:Artif icial Intelligence