Haixia Jia

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

Collaborative distances:

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

2006

Protecting Data Privacy Through Hard-to-Reverse Negative Databases.

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

Proceedings of the Information Security, 9th International Conference, 2006

2005

Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively.

Haixia Jia, Cristopher Moore, Doug Strain

Proceedings of the Proceedings, 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

Hiding Satisfying Assignments: Two Are Better than One.

Dimitris Achlioptas, Haixia Jia, Cristopher Moore

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004