Haixia Jia
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2004–2005
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | AAAI | Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively. | Haixia Jia, Cristopher Moore, Doug Strain |
| 2004 | AAAI | Hiding Satisfying Assignments: Two Are Better than One. | Dimitris Achlioptas, Haixia Jia, Cristopher Moore |
| 2004 | CP | How Much Backtracking Does It Take to Color Random Graphs? Rigorous Results on Heavy Tails. | Haixia Jia, Cristopher Moore |
| 2004 | SAT | From Spin Glasses to Hard Satisfiable Formulas. | Haixia Jia, Cristopher Moore, Bart Selman |
| 2004 | SAT | From Spin Glasses to Hard Satisfiable Formulas. | Haixia Jia, Cristopher Moore, Bart Selman |