backjump

Meaning

noun A jump from one level of an algorithm to another, used in backjumping.

Similar words

backjumping jump call trampoline goto bank switching brancher backtracking jump box backstepping

Save “backjump” to learn later