backjumping
Noun
Meaning
backjumping (uncountable)
English Wikipedia has an article on:backjumpingWikipedia
(computing theory) A form of backtracking that may move more than one level at a time, used to improve the efficiency of certain algorithms.