Haixia Jia, Cristopher Moore, Bart Selman
From Spin Glasses to Hard Satisfiable Formulas
SAT, 2004.
@inproceedings{SAT-2004-JiaMS,
author = "Haixia Jia and Cristopher Moore and Bart Selman",
booktitle = "{Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing}",
ee = "http://www.satisfiability.org/SAT04/programme/12.pdf",
pages = "12--19",
title = "{From Spin Glasses to Hard Satisfiable Formulas}",
year = 2004,
}