# claspfolio 2: Advances in Algorithm Selection for Answer Set Programming

arXiv: https://arxiv.org/abs/1405.1520 · HTML: https://mlsanity.com/paper/1405.1520/

## Key facts

- Cited by 8 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 7 May 2014.

## Built on by (most cited first, 8 of 8)

- [Parallel Logic Programming: A Sequel](https://mlsanity.com/paper/2111.11218/) (2021)
- [Revisit the Algorithm Selection Problem for TSP with Spatial Information Enhanced Graph Neural Networks](https://mlsanity.com/paper/2302.04035/) (2023)
- [Efficient lifting of symmetry breaking constraints for complex combinatorial problems](https://mlsanity.com/paper/2205.07129/) (2022)
- [Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming](https://mlsanity.com/paper/2209.09066/) (2022)
- [On the Configuration of More and Less Expressive Logic Programs](https://mlsanity.com/paper/2203.01024/) (2022)
- [System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics](https://mlsanity.com/paper/2303.17018/) (2023)
- [Frugal Algorithm Selection](https://mlsanity.com/paper/2405.11059/) (2024)
- [Improving ASP-based ORS Schedules through Machine Learning Predictions](https://mlsanity.com/paper/2507.16454/) (2025)

## Abstract (arXiv)

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 solver architecture that integrates several different portfolio-based algorithm selection approaches and techniques. The claspfolio 2 solver framework supports various feature generators, solver selection approaches, solver portfolios, as well as solver-schedule-based pre-solving techniques. The default configuration of claspfolio 2 relies on a light-weight version of the ASP solver clasp to generate static and dynamic instance features. The flexible open design of claspfolio 2 is a distinguishing factor even beyond ASP. As such, it provides a unique framework for comparing and combining existing portfolio-based algorithm selection approaches and techniques in a single, unified framework. Taking advantage of this, we conducted an extensive experimental study to assess the impact of different feature sets, selection approaches and base solver portfolios. In addition to gaining substantial insights into the utility of the various approaches and techniques, we identified a default configuration of claspfolio 2 that achieves substantial performance gains not only over clasp's default configuration and the earlier version of claspfolio 2, but also over manually tuned configurations of clasp.