Doug Strain
Loading Google Thumbnails...
from Google Images |
- Sorted by Year/Conf, Year/Citation, Citation
| 2007 | ||
|---|---|---|
| 2 | Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively. Haixia Jia, Cristopher Moore, Doug Strain. J. Artif. Intell. Res. (JAIR) (28): 107-118 (2007). Web SearchBibTeXDownload | |
| 2005 | ||
| 1 | Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively. Haixia Jia, Cristopher Moore, Doug Strain. AAAI 2005, 384-389. Web SearchBibTeX | |
from DBLP and Google Scholar