The LAMA planner
RichterSilvia, WestphalMatthias · 2010
LAMA is a classical planning system based on heuristic forward search. Its core feature is the use of a pseudo-heuristic derived from landmarks, propositional formulas that must be true in every so...