A Simple Model to Generate Hard Satisfiable Instances.

Ke Xu, Frdric Boussemart, Fred Hemery, Christophe Lecoutre

Browse the full IJCAI paper archive.