The choose-explore-undo pattern, solving N-Queens with the number of solutions, subset sum, and how pruning beats brute force.