Algorithms for search
A* : works for sequential solutions.
AO* : works for acyclic solutions.
LAO* : works for cyclic solutions.
RTDP : works for cyclic solutions.