Polynomial Space Planning via Indexical Policy Learning

A new search control method uses indexical policies with registers and a choose rule to find plans in polynomial space regardless of state space size. By enforcing structural termination, the procedure bounds execution depth, trading exponential time in choice depth for significantly reduced memory requirements.