An algorithm for solving a physics problem in high school.

Assuming you know the final answer, but not the path to the answer.

If you don't know what to do, use every formula in the sheet, and plug into every value on your paper, and repeat until you have the answer.

Then prune the branches that turned out to not be important.