Local Search Topology in Planning Benchmarks: A Theoretical Analysis.
Jörg HoffmannPublished in: PuK (2002)
Keyphrases
- theoretical analysis
- domain independent planning
- search algorithm
- numerical simulations
- planning problems
- genetic algorithm
- search heuristics
- plan generation
- ai planning
- sat solving
- search space
- optimal solution
- heuristic search
- simulated annealing
- search strategies
- global search
- blocks world
- goal oriented
- planning systems
- sat encodings
- neighborhood search
- data sets
- evolutionary search
- mechanical devices
- mixed initiative
- action selection
- search procedure
- combinatorial optimization
- tabu search
- constraint satisfaction problems
- decision support
- np hard