https://9dok.net/document/y4wrxvpk-planning-optimization-propositional-planning-tasks-gabriele-thomas-keller.html