@article{DBLP:journals/tplp/HoosKLS15, title = {aspeed: Solver scheduling via answer set programming}, author = {Hoos, Holger H. and Kaminski, Roland and Lindauer, Marius Thomas and Schaub, Torsten}, journal = {{TPLP}}, number = {1}, pages = {117--142}, volume = {15}, year = {2015} }