多引擎 ASP 求解器 ME-ASP：进展报告
人工智能
2014-05-06 v1
摘要
MEASP 是一个用于基例 ASP 程序的多引擎求解器。它利用基于分类的算法选择技术，从一组作为黑盒引擎使用的现成异构 ASP 求解器中选择一个。在本文中，我们报告了：(i) MEASP 的新优化实现；以及 (ii) 将算法选择应用于非基例程序的尝试。文中报告的实验分析表明：(i) \measp 的新实现版本比前一版本显著更快；(ii) 多引擎方案可应用于非基例程序的评估，并带来一定益处。
引用
@article{arxiv.1405.0876,
title = {The Multi-engine ASP Solver ME-ASP: Progress Report},
author = {Marco Maratea and Luca Pulina and Francesco Ricca},
journal= {arXiv preprint arXiv:1405.0876},
year = {2014}
}