Haixia Jia

11 papers A* 2A 2C 1Journal 5Unranked 1
YearRankTypeTitle / Venue / Authors
2007 J jnl
Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively.
J. Artif. Intell. Res.
Haixia Jia, Cristopher Moore, Doug Strain
2007 J jnl
Protecting data privacy through hard-to-reverse negative databases.
Int. J. Inf. Sec.
Fernando Esponda, Elena S. Ackley, Paul Helman, Haixia Jia, Stephanie Forrest
2006 C conf
Protecting Data Privacy Through Hard-to-Reverse Negative Databases.
ISC
Fernando Esponda, Elena S. Ackley, Paul Helman, Haixia Jia, Stephanie Forrest
2005 J jnl
Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively
CoRR
Haixia Jia, Cristopher Moore, Doug Strain
2005 A* conf
Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively.
AAAI
Haixia Jia, Cristopher Moore, Doug Strain
2005 J jnl
Hiding Satisfying Assignments: Two are Better than One
CoRR
Dimitris Achlioptas, Haixia Jia, Cristopher Moore
2005 J jnl
Hiding Satisfying Assignments: Two are Better than One.
J. Artif. Intell. Res.
Dimitris Achlioptas, Haixia Jia, Cristopher Moore
2004 A conf
From Spin Glasses to Hard Satisfiable Formulas.
SAT
Haixia Jia, Cristopher Moore, Bart Selman
2004 — conf
From Spin Glasses to Hard Satisfiable Formulas.
SAT (Selected Papers
Haixia Jia, Cristopher Moore, Bart Selman
2004 A* conf
Hiding Satisfying Assignments: Two Are Better than One.
AAAI
Dimitris Achlioptas, Haixia Jia, Cristopher Moore
2004 A conf
How Much Backtracking Does It Take to Color Random Graphs? Rigorous Results on Heavy Tails.
CP
Haixia Jia, Cristopher Moore