Building on the award-winning, portfolio-based ASP solver claspfolio (2), we present flexfolio, a modular and open solver architecture that integrates several different portfolio-based algorithm selection approaches and techniques. The flexfolio framework supports various feature generators, solver selection approaches, solver portfolios, as well as solver-schedule-based pre-solving techniques. As such, it provides a unique framework for comparing and combining existing portfolio-based algorithm selection approaches and techniques in a single, unified framework.
References
- Marius Lindauer, Rolf-David Bergdoll and Hutter, Frank
An Empirical Study of Per-Instance Algorithm Scheduling
In: Proceedings of the International Conference on Learning and Intelligent Optimization (LION’16) - Marius Lindauer and Holger H. Hoos and and Frank Hutter
From Sequential Algorithm Selection to Parallel Portfolio Selection
In: Proceedings of the International Conference on Learning and Intelligent Optimization (LION’15) - Hoos, H. and Lindauer, M. and Schaub, T.
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
In: Theory and Practice of Logic Programming 14 (2014): 569-585 - Gebser, M. and Kaminski, R. and Kaufmann, B. and Schaub, T. and Schneider, M. and Ziller, S.
A Portfolio Solver for Answer Set Programming: Preliminary Report
In: Proceedings of the Eleventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’11) - Marius Lindauer
Algorithm Selection, Scheduling and Configuration of Boolean Constraint Solvers
PhD thesis, University of Potsdam