dblp.uni-trier.dewww.uni-trier.de

Doug Strain

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
3EEHaixia 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
1EEHaixia Jia, Cristopher Moore, Doug Strain: Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively CoRR abs/cs/0503044: (2005)

Coauthor Index

1Haixia Jia [1] [2] [3]
2Cristopher Moore [1] [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)