Dave A. D. Tompkins, Holger H. Hoos. UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT. In Holger H. Hoos, David G. Mitchell, editors, Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers. Volume 3542 of Lecture Notes in Computer Science, pages 306-320, Springer, 2004. [doi]
@inproceedings{TompkinsH04a,
title = {UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT},
author = {Dave A. D. Tompkins and Holger H. Hoos},
year = {2004},
doi = {10.1007/11527695_24},
url = {http://dx.doi.org/10.1007/11527695_24},
tags = {meta-model, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/TompkinsH04a},
cites = {0},
citedby = {0},
pages = {306-320},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers},
editor = {Holger H. Hoos and David G. Mitchell},
volume = {3542},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-27829-X},
}