Learning and using domain-specific heuristics in ASP solvers
Marcello Balduccini · AI Communications · 2011
In spite of the improvements in the performance of many solvers for model-based languages, it is still possible for the search algorithm to focus on the wrong areas of the search space, preventing the solver from returning a solution in an acceptable