English Explanatory Dictionary

backjump

English dictionary entry

Meanings

noun
  1. A jump from one level of an algorithm to another, used in backjumping.

Pronunciation

/ˈbækˌd͡ʒʌmp/ LL-Q1860 (eng)-Naomi Persephone Amethyst (NaomiAmethyst)-backjump.wav

Word forms

backjump backjumps

Etymology

From back + jump.

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on B Russian dictionary Dahl dictionary