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,
}











