backjump /ˈbækˌd͡ʒʌmp/ noun1 •A jump from one level of an algorithm to another, used in backjumping. formsbackjumps
