Definition, synonyms and related words
A form of backtracking that may move more than one level at a time, used to improve the efficiency of certain algorithms.