Davide Fuscà, Francesco Calimeri, Jessica Zangari, Simona Perri. I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector. In Marco Maratea, Ivan Serina, editors, Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017 co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Bari, Italy, November 14-15, 2017. Volume 2011 of CEUR Workshop Proceedings, pages 26-32, CEUR-WS.org, 2017. [doi]
Abstract is missing.