Generating Satisfiable Problem Instances”, (2000)

by D Achlioptas, C P Gomes, H A Kautz, B Selman