TY  - RPRT
TI  - The Configurable SAT Solver Challenge (CSSC)
AU  - Frank Hutter
AU  - Marius Lindauer
AU  - Adrian Balint
AU  - Sam Bayless
AU  - Holger Hoos
AU  - Kevin Leyton-Brown
PY  - 2016
UR  - https://arxiv.org/abs/1505.01221
ID  - 1505.01221
ER  -