Computer Science – Artificial Intelligence
Scientific paper
2011-02-10
Computer Science
Artificial Intelligence
Presented at the ASPOCP10 workshop of ICLP10
Scientific paper
In spite of the recent improvements in the performance of the solvers based on the DPLL procedure, 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 amount of time. This prospect is a real concern e.g. in an industrial setting, where users typically expect consistent performance. To overcome this problem, we propose a framework that allows learning and using domain-specific heuristics in solvers based on the DPLL procedure. The learning is done off-line, on representative instances from the target domain, and the learned heuristics are then used for choice-point selection. In this paper we focus on Answer Set Programming (ASP) solvers. In our experiments, the introduction of domain-specific heuristics improved performance on hard instances by up to 3 orders of magnitude (and 2 on average), nearly completely eliminating the cases in which the solver had to be terminated because the wait for an answer had become unacceptable.
No associations
LandOfFree
Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-694458