A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming
[chapter]
2005
Lecture Notes in Computer Science
Answer Set Programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called "tight", the main search procedures used by ASP and SAT systems are equivalent, i.e., that they explore search trees with the same branching nodes. In this paper, we focus on the experimental evaluation of different search strategies, heuristics and their combinations that have been shown to be effective in the SAT community, in
doi:10.1007/11558590_13
fatcat:uw3p7ukpqnf23b3oyzb6ge5hnu