Working backwards from the goal as well as forwards from the start
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