In this paper we describe the new system me-asp, which applies machine learning techniques for inductively choosing, among a set of available ones, the "best" ASP solver on a per-instance basis. Moreover, we report the results of some experiments, carried out on benchmarks from the "System Track" of the 3rd ASP Competition, showing the state-of-the-art performance of our solver.
['Marco Maratea', 'Luca Pulina', 'Francesco Ricca']
The multi-engine ASP solver ME-ASP