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

Marco Maratea, Luca Pulina, Francesco Ricca

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…