The story
From back + jumping, modelled on backtracking.
Etymology from Wiktionary, CC BY-SA 4.0.
backjumping
Today it means: A form of backtracking that may move more than one level at a time, used to improve the efficiency of certain algorithms. Full definition →