Haixia Jia

2007
11	EE	Fernando Esponda, Elena S. Ackley, Paul Helman, Haixia Jia, Stephanie Forrest: Protecting data privacy through hard-to-reverse negative databases. Int. J. Inf. Sec. 6(6): 403-415 (2007)
10	EE	Haixia Jia, Cristopher Moore, Doug Strain: Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively. J. Artif. Intell. Res. (JAIR) 28: 107-118 (2007)
2006
9	EE	Fernando Esponda, Elena S. Ackley, Paul Helman, Haixia Jia, Stephanie Forrest: Protecting Data Privacy Through Hard-to-Reverse Negative Databases. ISC 2006: 72-84
2005
8		Haixia Jia, Cristopher Moore, Doug Strain: Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively. AAAI 2005: 384-389
7	EE	Haixia Jia, Cristopher Moore, Doug Strain: Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively CoRR abs/cs/0503044: (2005)
6	EE	Dimitris Achlioptas, Haixia Jia, Cristopher Moore: Hiding Satisfying Assignments: Two are Better than One CoRR abs/cs/0503046: (2005)
5	EE	Dimitris Achlioptas, Haixia Jia, Cristopher Moore: Hiding Satisfying Assignments: Two are Better than One. J. Artif. Intell. Res. (JAIR) 24: 623-639 (2005)
2004
4		Dimitris Achlioptas, Haixia Jia, Cristopher Moore: Hiding Satisfying Assignments: Two Are Better than One. AAAI 2004: 131-136
3	EE	Haixia Jia, Cristopher Moore: How Much Backtracking Does It Take to Color Random Graphs? Rigorous Results on Heavy Tails. CP 2004: 742-746
2	EE	Haixia Jia, Cristopher Moore, Bart Selman: From Spin Glasses to Hard Satisfiable Formulas. SAT 2004
1	EE	Haixia Jia, Cristopher Moore, Bart Selman: From Spin Glasses to Hard Satisfiable Formulas. SAT (Selected Papers 2004: 199-210

Coauthor Index

1	Dimitris Achlioptas	[4] [5] [6]
2	Elena S. Ackley	[9] [11]
3	Fernando Esponda	[9] [11]
4	Stephanie Forrest	[9] [11]
5	Paul Helman	[9] [11]
6	Cristopher Moore	[1] [2] [3] [4] [5] [6] [7] [8] [10]
7	Bart Selman	[1] [2]
8	Doug Strain	[7] [8] [10]

Colors in the list of coauthors