Data Structures and Algorithms ยท Techniques
Trying a choice, recursing, and undoing it if it leads nowhere, to explore all possibilities.
Also known as: state-space search, N-Queens, constraint search.