safe , strong , and tractable relevance analysis for planning .
The Fast Downward Planning System