Holger Hoos, Marius Thomas Lindauer, Torsten Schaub
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
ICLP, 2014.
@article{ICLP-J-2014-HoosLS, author = "Holger Hoos and Marius Thomas Lindauer and Torsten Schaub", doi = "10.1017/S1471068414000210", journal = "{Theory and Practice of Logic Programming}", number = "4-5", pages = "569--585", title = "{claspfolio 2: Advances in Algorithm Selection for Answer Set Programming}", volume = 14, year = 2014, }