Table of Contents
Planification
Symbolic
State space search
A*
WA*
IDA*
Iterative Depth A*
Dijkstra
Logics
=Quick Def= Based on STRIPS-like languages (ADL, PDDL).
GraphPlan
Stan
IPP
SGP
SATplan
SATisfiability PLANning
Iterative Depth A*
=Quick Def= Based on STRIPS-like languages (ADL, PDDL).
SATisfiability PLANning
