claspfolio 2: Advances in Algorithm Selection for Answer Set Programming - HOOS, HOLGER; LINDAUER, MARIUS; SCHAUB, TORSTEN (Theory and practice of logic programming, 2014)
Keywords: Algorithms; Construction; Fasteners; Gain; Logic programming; Programming; Regular Papers; Solvers; Utilities