Dave A. D. Tompkins, Holger H. Hoos
UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT
SAT, 2004.
@inproceedings{SAT-2004-TompkinsH,
author = "Dave A. D. Tompkins and Holger H. Hoos",
booktitle = "{Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing}",
ee = "http://www.satisfiability.org/SAT04/programme/23.pdf",
pages = "37--46",
title = "{UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT}",
year = 2004,
}