Planning over Chain Causal Graphs for Variables with Domains of Size 5 Is NP-Hard
A Reactive Planner for a Model-based Executive