A Portfolio Solver for Answer Set Programming: Preliminary Report

摘要

We propose a portfolio-based solving approach to Answer Set Programming (ASP). Our approach is homogeneous in considering several con figurations of the ASP solver clasp. The selection among the configurations is realized via Support Vector Regression. The resulting portfolio-based solver clasp-folio regularly outperforms clasp's default configuration as well as manual tuning.