General Problem-Solving with Search Reduction - Search Space Reduction Patterns | OneNoughtOne