37 search results - page 1 / 8 » Adaptive Lookahead for Answer Set Computation |
ICTAI
2007
IEEE
13 years 10 months ago
2007
IEEE
Lookahead is a well-known constraint propagation technique for DPLL-based SAT and answer set solvers. Despite its space pruning power, it can also slow down the search, due to its...
LPNMR
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. Most complete answer set solvers are based on DPLL. One of the constraint propagation methods is the so-called lookahead, which has been somewhat controversial, due to it...
LPAR
2005
Springer
13 years 9 months ago
2005
Springer
We present a new answer set solver, called nomore++, along with its underlying theoretical foundations. A distinguishing feature is that it treats heads and bodies equitably as com...
LPNMR
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. We present a new answer set solver nomore++. Distinguishing features include its treatment of heads and bodies equitably as computational objects and a new hybrid lookahe...
AICOM
2006
13 years 4 months ago
2006
In this work we present a backjumping technique for Disjunctive Logic Programming (DLP) under the Answer Set Semantics. It builds upon related techniques that had originally been p...