Sciweavers

Share
LPNMR
2007
Springer

On the Effectiveness of Looking Ahead in Search for Answer Sets

10 years 10 months ago
On the Effectiveness of Looking Ahead in Search for Answer Sets
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 its high overhead. In this paper, we show characterizations of the problems for which lookahead is ineffective, and demonstrate, experimentally, that for problems that lie in the phase transition regions, search efficiency can be improved significantly by lookahead. This understanding leads to the proposal of a mechanism called adaptive lookahead, which decides when lookahead should be invoked dynamically upon learned information. This new mechanism is shown promising by the experiments.
Guohua Liu, Jia-Huai You
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where LPNMR
Authors Guohua Liu, Jia-Huai You
Comments (0)
books