Haixia Jia

According to our database, Haixia Jia authored at least 5 papers between 2004 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2007

Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively.

Haixia Jia, Cristopher Moore, Doug Strain

J. Artif. Intell. Res., 2007

Protecting data privacy through hard-to-reverse negative databases.

Fernando Esponda, Elena S. Ackley, Paul Helman, Haixia Jia, Stephanie Forrest

Int. J. Inf. Sec., 2007

2005

Hiding Satisfying Assignments: Two are Better than One.

Dimitris Achlioptas, Haixia Jia, Cristopher Moore

J. Artif. Intell. Res., 2005

2004

From Spin Glasses to Hard Satisfiable Formulas.

Haixia Jia, Cristopher Moore, Bart Selman

Proceedings of the SAT 2004, 2004

How Much Backtracking Does It Take to Color Random Graphs? Rigorous Results on Heavy Tails.

Haixia Jia, Cristopher Moore

Proceedings of the Principles and Practice of Constraint Programming, 2004