Doug Strain

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

Coauthor Index

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