@article{HoosLindauerSchaub2014, author = {Holger Hoos and Marius Lindauer and Torsten H. Schaub}, title = {claspfolio 2}, journal = {Theory and practice of logic programming}, series = {advances in algorithm selection for answer set programming}, volume = {14}, pages = {569 -- 585}, doi = {10.1017/S1471068414000210}, year = {2014}, }