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