Multi-engine ASP solving with policy adaptation

DOI10.1093/logcom/ext068zbMath1328.68042OpenAlexW2144892150MaRDI QIDQ3458886

Francesco Ricca, Marco Maratea, Luca Pulina

Publication date: 28 December 2015

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/ext068

zbMATH Keywords

answer set programmingautomated algorithm selectionmulti engine solvers

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic programming (68N17)

Related Items

Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges