A Portfolio Solver for Answer Set Programming: Preliminary Report
View/ Open
Author(s)
Gebser, Martin
Kaminski, Roland
Kaufmann, Benjamin
Schaub, Torsten
Schneider, Marius Thomas
Ziller, Stefan
Griffith University Author(s)
Year published
2011
Metadata
Show full item recordAbstract
We propose a portfolio-based solving approach to Answer Set Programming (ASP). Our approach is homogeneous in considering several configurations of the ASP solver clasp. The selection among the configurations is realized via Support Vector Regression. The resulting portfolio-based solver claspfolio regularly outperforms clasp's default configuration as well as manual tuning.We propose a portfolio-based solving approach to Answer Set Programming (ASP). Our approach is homogeneous in considering several configurations of the ASP solver clasp. The selection among the configurations is realized via Support Vector Regression. The resulting portfolio-based solver claspfolio regularly outperforms clasp's default configuration as well as manual tuning.
View less >
View less >
Conference Title
Logic Programming and Nonmonotonic Reasoning
Copyright Statement
© 2011 Springer Berlin/Heidelberg. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher.The original publication is available at www.springerlink.com.