The Multi-engine ASP Solver ME-ASP: Progress Report
Artificial Intelligence
2014-05-06 v1
Abstract
MEASP is a multi-engine solver for ground ASP programs. It exploits algorithm selection techniques based on classification to select one among a set of out-of-the-box heterogeneous ASP solvers used as black-box engines. In this paper we report on (i) a new optimized implementation of MEASP; and (ii) an attempt of applying algorithm selection to non-ground programs. An experimental analysis reported in the paper shows that (i) the new implementation of \measp is substantially faster than the previous version; and (ii) the multi-engine recipe can be applied to the evaluation of non-ground programs with some benefits.
Cite
@article{arxiv.1405.0876,
title = {The Multi-engine ASP Solver ME-ASP: Progress Report},
author = {Marco Maratea and Luca Pulina and Francesco Ricca},
journal= {arXiv preprint arXiv:1405.0876},
year = {2014}
}