Exercise 10.9

Prove that backward search with PDDL problems is complete.

View Answer