Haixia Jia

Publication Activity (10 Years)

Years Active: 2004-2007
Publications (10 Years): 0

Publications

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) (2007)
Haixia Jia, Cristopher Moore, Doug Strain
Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively. J. Artif. Intell. Res. 28 (2007)
Fernando Esponda, Elena S. Ackley, Paul Helman, Haixia Jia, Stephanie Forrest
Protecting Data Privacy Through Hard-to-Reverse Negative Databases. ISC (2006)
Haixia Jia, Cristopher Moore, Doug Strain
Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively. AAAI (2005)
Dimitris Achlioptas, Haixia Jia, Cristopher Moore
Hiding Satisfying Assignments: Two are Better than One CoRR (2005)
Haixia Jia, Cristopher Moore, Doug Strain
Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively CoRR (2005)
Dimitris Achlioptas, Haixia Jia, Cristopher Moore
Hiding Satisfying Assignments: Two are Better than One. J. Artif. Intell. Res. 24 (2005)
Dimitris Achlioptas, Haixia Jia, Cristopher Moore
Hiding Satisfying Assignments: Two Are Better than One. AAAI (2004)
Haixia Jia, Cristopher Moore, Bart Selman
From Spin Glasses to Hard Satisfiable Formulas. SAT (2004)
Haixia Jia, Cristopher Moore
How Much Backtracking Does It Take to Color Random Graphs? Rigorous Results on Heavy Tails. CP (2004)
Haixia Jia, Cristopher Moore, Bart Selman
From Spin Glasses to Hard Satisfiable Formulas. SAT (Selected Papers (2004)