Title: Solving planning problems