Strain, Doug

2 publications

JAIR 2007 Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively Haixia Jia, Cristopher Moore, Doug Strain

AAAI 2005 Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively Haixia Jia, Cristopher Moore, Doug Strain