Planning Through Stochastic Local Search and Temporal Action Graphs in LPG
Alfonso GereviniAlessandro SaettiIvan SerinaPublished in: CoRR (2011)
Keyphrases
- stochastic local search
- satisfiability problem
- computationally hard problems
- temporal planning
- domain independent
- planning problems
- plan execution
- durative actions
- temporal constraints
- solving hard
- randomly generated
- combinatorial optimisation
- phase transition
- temporal information
- max sat
- sat problem
- ai planning
- tree search
- sat instances
- random sat instances
- path finding
- atomic actions
- knowledge base
- temporal reasoning
- convergence rate
- heuristic search