565 search results - page 14 / 113 » Heuristics for Planning with SAT |
CP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. One of the most successful approaches in automated planning is to use heuristic state-space search. A popular heuristic that is used by a number of state-space planners i...
AAAI
2008
13 years 10 months ago
2008
AIPS
2007
13 years 10 months ago
2007
CP
2005
Springer
14 years 1 months ago
2005
Springer
We present a new and more efficient heuristic by restricting lookahead saturation (LAS) with NVO (neighbourhood variable ordering) and DEW (dynamic equality weighting). We report o...
IJCAI
2001
13 years 9 months ago
2001
Many state-of-the-art heuristic planners derive their heuristic function by relaxing the planning task at hand, where the relaxation is to assume that all delete lists are empty. ...