# The Multi-engine ASP Solver ME-ASP: Progress Report

arXiv: https://arxiv.org/abs/1405.0876 · HTML: https://mlsanity.com/paper/1405.0876/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 5 May 2014.

## Built on by (most cited first, 1 of 1)

- [System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics](https://mlsanity.com/paper/2303.17018/) (2023)

## Abstract (arXiv)

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.