Donald J. Patterson, Henry A. Kautz
Auto-Walksat: A Self-Tuning Implementation of Walksat
ICST, 2001.
@article{SAT-2001-PattersonK,
author = "Donald J. Patterson and Henry A. Kautz",
doi = "10.1016/S1571-0653(04)00333-6",
journal = "{Electronic Notes in Discrete Mathematics}",
pages = "360--368",
title = "{Auto-Walksat: A Self-Tuning Implementation of Walksat}",
volume = 9,
year = 2001,
}