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/
Значение
значений: 1A jump from one level of an algorithm to another, used in backjumping.
Происхождение
From back + jump.From back + jump.
Wiktionary, CC BY-SA 4.0 · source