Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively. - Haixia Jia; Cristopher Moore; Doug Strain (J. Artif. Intell. Res., 2007)