%0 Conference Paper %1 conf/iclp/HoosKSS12 %A Hoos, Holger H. %A Kaminski, Roland %A Schaub, Torsten %A Schneider, Marius %B ICLP (Technical Communications) %D 2012 %E Dovier, Agostino %E Costa, Vítor Santos %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 176-187 %T aspeed: ASP-based Solver Scheduling. %U http://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#HoosKSS12 %V 17 %@ 978-3-939897-43-9

@inproceedings{conf/iclp/HoosKSS12, added-at = {2023-08-28T00:00:00.000+0200}, author = {Hoos, Holger H. and Kaminski, Roland and Schaub, Torsten and Schneider, Marius}, biburl = {https://www.bibsonomy.org/bibtex/276aca85a05812b28826bd3a5ad6987e3/dblp}, booktitle = {ICLP (Technical Communications)}, crossref = {conf/iclp/2012}, editor = {Dovier, Agostino and Costa, Vítor Santos}, ee = {https://doi.org/10.4230/LIPIcs.ICLP.2012.176}, interhash = {71220101e8e8e4fe7ece7f194ef61f17}, intrahash = {76aca85a05812b28826bd3a5ad6987e3}, isbn = {978-3-939897-43-9}, keywords = {dblp}, pages = {176-187}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T03:46:43.000+0200}, title = {aspeed: ASP-based Solver Scheduling.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#HoosKSS12}, volume = 17, year = 2012 }