Algorithm X

Proper noun

 * 1)  A recursive, nondeterministic, depth-first backtracking algorithm for solving the decision problem of whether an exact cover exists.