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. 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
{"_id":"n6q3MABvkTYLZXza2","bibbaseid":"hoos-kaminski-schaub-schneider-aspeedaspbasedsolverscheduling-2012","downloads":0,"creationDate":"2016-04-12T13:16:33.336Z","title":"aspeed: ASP-based Solver Scheduling.","author_short":["Hoos, H.","Kaminski, R.","Schaub, T.","Schneider, M. T."],"year":2012,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/kaminski?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2012-09-09T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Hoos"],"firstnames":["Holger"],"suffixes":[]},{"propositions":[],"lastnames":["Kaminski"],"firstnames":["Roland"],"suffixes":[]},{"propositions":[],"lastnames":["Schaub"],"firstnames":["Torsten"],"suffixes":[]},{"propositions":[],"lastnames":["Schneider"],"firstnames":["Marius","Thomas"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/27c088bfdacd7fa882f16254f1ddfa01e/dblp","booktitle":"ICLP (Technical Communications)","crossref":"conf/iclp/2012","editor":[{"propositions":[],"lastnames":["Dovier"],"firstnames":["Agostino"],"suffixes":[]},{"propositions":[],"lastnames":["Costa"],"firstnames":["Vítor","Santos"],"suffixes":[]}],"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","bibtex":"@inproceedings{conf/iclp/HoosKSS12,\n added-at = {2012-09-09T00:00:00.000+0200},\n author = {Hoos, Holger and Kaminski, Roland and Schaub, Torsten and Schneider, Marius Thomas},\n biburl = {http://www.bibsonomy.org/bibtex/27c088bfdacd7fa882f16254f1ddfa01e/dblp},\n booktitle = {ICLP (Technical Communications)},\n crossref = {conf/iclp/2012},\n editor = {Dovier, Agostino and Costa, Vítor Santos},\n ee = {http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.176},\n interhash = {71220101e8e8e4fe7ece7f194ef61f17},\n intrahash = {7c088bfdacd7fa882f16254f1ddfa01e},\n isbn = {978-3-939897-43-9},\n keywords = {dblp},\n pages = {176-187},\n publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},\n series = {LIPIcs},\n timestamp = {2013-12-06T11:37:52.000+0100},\n title = {aspeed: ASP-based Solver Scheduling.},\n url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#HoosKSS12},\n volume = 17,\n year = 2012\n}\n\n","author_short":["Hoos, H.","Kaminski, R.","Schaub, T.","Schneider, M. T."],"editor_short":["Dovier, A.","Costa, V. S."],"key":"conf/iclp/HoosKSS12","id":"conf/iclp/HoosKSS12","bibbaseid":"hoos-kaminski-schaub-schneider-aspeedaspbasedsolverscheduling-2012","role":"author","urls":{"Link":"http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.176","Paper":"http://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#HoosKSS12"},"keyword":["dblp"],"downloads":0},"search_terms":["aspeed","asp","based","solver","scheduling","hoos","kaminski","schaub","schneider"],"keywords":["dblp"],"authorIDs":[],"dataSources":["ePTwKNCLFT28DzR9b"]}