Planning over Chain Causal Graphs for Variables with Domains of Size 5 Is NP-Hard
The Fast Downward Planning System