Doug Strain

Publication Activity (10 Years)

Years Active: 2005-2007
Publications (10 Years): 0

Publications

Haixia Jia, Cristopher Moore, Doug Strain
Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively. J. Artif. Intell. Res. 28 (2007)
Haixia Jia, Cristopher Moore, Doug Strain
Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively. AAAI (2005)
Haixia Jia, Cristopher Moore, Doug Strain
Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively CoRR (2005)