Frank Hutter, Marius Lindauer, Adrian Balint, Sam Bayless, Holger H. Hoos, Kevin Leyton-Brown. The Configurable SAT Solver Challenge (CSSC). Artificial Intelligence, 243:1-25, 2017. [doi]
@article{HutterLBBHL17,
title = {The Configurable SAT Solver Challenge (CSSC)},
author = {Frank Hutter and Marius Lindauer and Adrian Balint and Sam Bayless and Holger H. Hoos and Kevin Leyton-Brown},
year = {2017},
doi = {10.1016/j.artint.2016.09.006},
url = {http://dx.doi.org/10.1016/j.artint.2016.09.006},
researchr = {https://researchr.org/publication/HutterLBBHL17},
cites = {0},
citedby = {0},
journal = {Artificial Intelligence},
volume = {243},
pages = {1-25},
}