Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case

Computer Science – Artificial Intelligence

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

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

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

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.

Rate now

     

Profile ID: LFWR-SCP-O-694458

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.