DMCA
Evaluating ASP and commercial solvers on the
BibTeX
@MISC{Mancini_evaluatingasp,
author = {Toni Mancini and Davide Micaletto and Fabio Patrizi and Marco Cadoli},
title = {Evaluating ASP and commercial solvers on the},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This paper1 deals with four solvers for combinatorial problems: the commercial state-of-the-art solver ILOG oplstudio, and the research ASP systems dlv, smodels and cmodels. The first goal of this research is to evaluate the relative performance of such systems when used in a purely declarative way, using a reproducible and extensible experimental methodology. In particular, we consider a third-party problem library, i.e., the CSPLib, and uniform rules for modelling and instance selection. The second goal is to analyze the marginal effects of popular reformulation techniques on the various solving technologies. In particular, we consider structural symmetry breaking, the adoption of global constraints, and the addition of auxiliary predicates. Finally, we evaluate, on a subset of the problems, the impact of numbers and arithmetic constraints on the different solving technologies. Results show that there is not a single solver winning on all problems, and that reformulation is almost always beneficial: symmetry-breaking may be a good choice, but its complexity has to be carefully chosen, by taking into account also the particular solver used. Global constraints often, but not always, help opl, and the addition of auxiliary predicates is usually worth, especially when dealing with ASP solvers. Moreover, interesting synergies among the various modelling techniques exist. 1
Keyphrases
commercial solver global constraint auxiliary predicate single solver second goal interesting synergy particular solver popular reformulation technique commercial state-of-the-art solver ilog oplstudio third-party problem library combinatorial problem instance selection help opl asp solver paper1 deal first goal declarative way extensible experimental methodology uniform rule structural symmetry breaking different solving technology research asp system dlv relative performance good choice arithmetic constraint marginal effect
