Knowledge Processing and Information Systems
aspeed: Solver scheduling via answer set programming

@article{DBLP:journals/tplp/HoosKLS15,
  title = {aspeed: Solver scheduling via answer set programming},
  author = {Hoos, Holger H. and Kaminski, Roland and Lindauer, Marius Thomas and Schaub, Torsten},
  journal = {{TPLP}},
  number = {1},
  pages = {117--142},
  volume = {15},
  year = {2015}
}