Haixia Jia
Loading Google Thumbnails...
from Google Images |
- Sorted by Year/Conf, Year/Citation, Citation
| 2007 | ||
|---|---|---|
| 6 | Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively. Haixia Jia, Cristopher Moore, Doug Strain. J. Artif. Intell. Res. (JAIR) (28): 107-118 (2007). Web SearchBibTeXDownload | |
| 2005 | ||
| 5 | Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively. Haixia Jia, Cristopher Moore, Doug Strain. AAAI 2005, 384-389. Web SearchBibTeX | |
| 4 | Hiding Satisfying Assignments: Two are Better than One. Dimitris Achlioptas, Haixia Jia, Cristopher Moore. CoRR (abs/cs/0503046): 623-639 (2005). Web SearchBibTeXDownload | |
| 2004 | ||
| 3 | Hiding Satisfying Assignments: Two Are Better than One. Dimitris Achlioptas, Haixia Jia, Cristopher Moore. AAAI 2004, 131-136. Web SearchBibTeX | |
| 2 | How Much Backtracking Does It Take to Color Random Graphs? Rigorous Results on Heavy Tails. Haixia Jia, Cristopher Moore. CP 2004, 742-746. Web SearchBibTeXDownload | |
| 1 | From Spin Glasses to Hard Satisfiable Formulas. Haixia Jia, Cristopher Moore, Bart Selman. SAT 2004. Web SearchBibTeXDownload | |
from DBLP and Google Scholar