backjump
noun/ˈbækˌd͡ʒʌmp/
Etymology From back + jump.
1
Computing, Computing theory, Engineering, Mathematics, Natural sciences, Physical sciences, Sciences A jump from one level of an algorithm to another, used in backjumping.
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.