@inproceedings{DBLP:conf/lion/HoosKSS13,
  title = {Robust Benchmark Set Selection for Boolean Constraint Solvers},
  author = {Hoos, Holger H. and Kaufmann, Benjamin and Schaub, Torsten and Schneider, Marius},
  booktitle = {{LION}},
  pages = {138--152},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {7997},
  year = {2013}
}