Multi-engine ASP solving with policy adaptation
scientific article