Harold S. Connamacher
A Random Constraint Satisfaction Problem That Seems Hard for DPLL
SAT, 2004.
@inproceedings{SAT-2004-Connamacher,
author = "Harold S. Connamacher",
booktitle = "{Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing}",
ee = "http://www.satisfiability.org/SAT04/programme/11.pdf",
pages = "3--11",
title = "{A Random Constraint Satisfaction Problem That Seems Hard for DPLL}",
year = 2004,
}