Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively

Haixia Jia, Cristopher Moore, Doug Strain