Group concrete states with identical visible part to a single abstract state. ... Make visible one of the variables in the clauses that lead to the conflict ...
In the cellar plan above, the clock, If advanced, will be advanced to 15, ... This means cross-cellar can either be done. At 0 or 15 (and the latter makes no sense) ...
Progression: Sapa (TLPlan; FF) Regression: TP4. Partial order: Zeno (IxTET) Reading List ... To become linear. More on Temporal planning. by plan-space planners (Zeno) ...