Jia, Haixia

4 publications

JAIR 2007 Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively Haixia Jia, Cristopher Moore, Doug Strain
AAAI 2005 Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively Haixia Jia, Cristopher Moore, Doug Strain
JAIR 2005 Hiding Satisfying Assignments: Two Are Better than One Dimitris Achlioptas, Haixia Jia, Cristopher Moore
AAAI 2004 Hiding Satisfying Assignments: Two Are Better than One Dimitris Achlioptas, Haixia Jia, Cristopher Moore