Haixia Jia Cristopher Moore Doug Strain Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively. 107-118 2007 28 J. Artif. Intell. Res. (JAIR) http://www.jair.org/papers/paper2039.html db/journals/jair/jair28.html#JiaMS07