Planning horizon (source code)

= Planning horizon
{title2=$T$}

The number of action layers allowed in a bounded <automated planning> encoding. Sequential layers permit at most one physical action, while a parallel semantics may permit several compatible actions. A sufficiently large horizon guarantees finding a solution only for a solvable input; shorter <plans> require idle layers or testing the successive smaller horizons.