backjump
Fetched 2026-10-26 (cache).
Synonyms: buckjump, back up, backup, back-up
Antonyms: buckjump, back up, backup, back-up
Related words from Datamuse; suggestions, not definitions.
Noun
- {{lb|en|comptheory}} A [[jump]] from one [[level]] of an [[algorithm]] to another, used in [[backjumping]].
Source: Wiktionary · CC BY-SA 4.0 (Wiktionary dump) · cached copy, not a rewrite.