Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively.

Haixia Jia, Cristopher Moore, Doug Strain

Browse the full AAAI paper archive.