Haixia Jia

Identifiers

No identifiers captured yet.

Papers (4)

1. Hiding Satisfying Assignments: Two are Better than One cs.AI · 2005 · author #2
2. Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively cs.AI · 2005 · author #1
3. How much backtracking does it take to color random graphs? Rigorous results on heavy tails cond-mat.dis-nn · 2004 · author #1
4. From spin glasses to hard satisfiable formulas cond-mat.stat-mech · 2004 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Cristopher Moore 4 shared papers
• Bart Selman 1 shared papers
• Dimitris Achlioptas 1 shared papers
• Doug Strain 1 shared papers