flexfolio

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

Benchmark Data