aspeed: ASP-based Solver Scheduling. Hoos, H., Kaminski, R., Schaub, T., & Schneider, M. T. In Dovier, A. & Costa, V. S., editors, ICLP (Technical Communications), volume 17, of LIPIcs, pages 176-187, 2012. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
aspeed: ASP-based Solver Scheduling. [link]Link  aspeed: ASP-based Solver Scheduling. [link]Paper  bibtex   
@inproceedings{conf/iclp/HoosKSS12,
  added-at = {2012-09-09T00:00:00.000+0200},
  author = {Hoos, Holger and Kaminski, Roland and Schaub, Torsten and Schneider, Marius Thomas},
  biburl = {http://www.bibsonomy.org/bibtex/27c088bfdacd7fa882f16254f1ddfa01e/dblp},
  booktitle = {ICLP (Technical Communications)},
  crossref = {conf/iclp/2012},
  editor = {Dovier, Agostino and Costa, Vítor Santos},
  ee = {http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.176},
  interhash = {71220101e8e8e4fe7ece7f194ef61f17},
  intrahash = {7c088bfdacd7fa882f16254f1ddfa01e},
  isbn = {978-3-939897-43-9},
  keywords = {dblp},
  pages = {176-187},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  series = {LIPIcs},
  timestamp = {2013-12-06T11:37:52.000+0100},
  title = {aspeed: ASP-based Solver Scheduling.},
  url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#HoosKSS12},
  volume = 17,
  year = 2012
}

Downloads: 0