The value of a goal: we can work backwards from it (or: it’s hard to build something if you don’t know what it looks like)
Backward chaining (Eric Drexler)
Horizon mission methodology (John Anderson)
Retrosynthetic analysis (Elias J. Corey)
Shortest path and other search algorithms in computer science
“Meet in the middle” attacks in cryptography