When Corey is given a logic problem to solve, he systematically tries every possible solution until he finds the correct answer. Corey's strategy is to use