Holger H. Hoos, Benjamin Kaufmann, Torsten Schaub, Marius Schneider. Robust Benchmark Set Selection for Boolean Constraint Solvers. In Giuseppe Nicosia, Panos M. Pardalos, editors, Learning and Intelligent Optimization - 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers. Volume 7997 of Lecture Notes in Computer Science, pages 138-152, Springer, 2013. [doi]
Abstract is missing.