@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} }