backjumping en · NOUN
Pronunciation
- /ˈbækd͡ʒʌmpɪŋ/
- (US) audio
Etymology
From back + jumping, modelled on backtracking.
Meanings
- (uncountable) A form of backtracking that may move more than one level at a time, used to improve the efficiency of certain algorithms.