%0 Journal Article %1 journals/tplp/HoosKLS15 %A Hoos, Holger H. %A Kaminski, Roland %A Lindauer, Marius %A Schaub, Torsten %D 2015 %J Theory Pract. Log. Program. %K %N 1 %P 117-142 %T aspeed: Solver scheduling via answer set programming. %U http://dblp.uni-trier.de/db/journals/tplp/tplp15.html#HoosKLS15 %V 15

@article{journals/tplp/HoosKLS15, added-at = {2023-12-13T02:13:52.000+0100}, author = {Hoos, Holger H. and Kaminski, Roland and Lindauer, Marius and Schaub, Torsten}, biburl = {https://www.bibsonomy.org/bibtex/2b70c1b3c4cfface8c748e90c7465e094/admin}, ee = {https://www.wikidata.org/entity/Q59585916}, interhash = {7c89733c92a92a7c94ecec1c51886add}, intrahash = {b70c1b3c4cfface8c748e90c7465e094}, journal = {Theory Pract. Log. Program.}, keywords = {}, number = 1, pages = {117-142}, timestamp = {2023-12-13T02:13:52.000+0100}, title = {aspeed: Solver scheduling via answer set programming.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp15.html#HoosKLS15}, volume = 15, year = 2015 }