@misc{indiciaeee018f1421af,
  title = {The Configurable SAT Solver Challenge (CSSC)},
  author = {Frank Hutter and Marius Lindauer and Adrian Balint and Sam Bayless and Holger Hoos and Kevin Leyton-Brown},
  year = {2016},
  url = {https://arxiv.org/abs/1505.01221},
  note = {Source identifier: 1505.01221}
}