@article{HoosKaminskiLindaueretal.2015,
  author    = {Holger Hoos and Roland Kaminski and Marius Lindauer and Torsten H. Schaub},
  title     = {aspeed: Solver scheduling via answer set programming},
  journal   = {Theory and practice of logic programming},
  volume    = {15},
  pages     = {117 -- 142},
  doi       = {10.1017/S1471068414000015},
  year      = {2015},
}