4 citations · 10 across the 5 of their papers we have counts for
1 paper · 1 filter
Holger Hoos, Marius Lindauer, Torsten Schaub
To appear in Theory and Practice of Logic Programming (TPLP). Building on the award-winning, portfolio-based ASP solver claspfolio, we present claspfolio 2, a modular and open solv…