| |
| 2007 | ||
|---|---|---|
| 3 | EE | Haixia Jia, Cristopher Moore, Doug Strain: Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively. J. Artif. Intell. Res. (JAIR) 28: 107-118 (2007) |
| 2005 | ||
| 2 | Haixia Jia, Cristopher Moore, Doug Strain: Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively. AAAI 2005: 384-389 | |
| 1 | EE | Haixia Jia, Cristopher Moore, Doug Strain: Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively CoRR abs/cs/0503044: (2005) |
| 1 | Haixia Jia | [1] [2] [3] |
| 2 | Cristopher Moore | [1] [2] [3] |