Proper noun
Algorithm X (computing theory) A recursive, nondeterministic, depth-first backtracking algorithm for solving the decision problem of whether an exact cover exists.