Knowledge Processing and Information Systems
aspeed: ASP-based Solver Scheduling

@inproceedings{DBLP:conf/iclp/HoosKSS12,
  title = {aspeed: ASP-based Solver Scheduling},
  author = {Hoos, Holger and Kaminski, Roland and Schaub, Torsten and Schneider, Marius Thomas},
  booktitle = {{ICLP} (Technical Communications)},
  pages = {176--187},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  series = {LIPIcs},
  volume = {17},
  year = {2012}
}