TY  - RPRT
TI  - Solver Scheduling via Answer Set Programming
AU  - Holger Hoos
AU  - Roland Kaminski
AU  - Marius Lindauer
AU  - Torsten Schaub
PY  - 2014
UR  - https://arxiv.org/abs/1401.1024
ID  - 1401.1024
ER  -