backjump

English

noun
Definitions
  • (comptheory) A jump from one level of an algorithm to another, used in backjumping.

Etymology

Compound from English back (mild drink, back, chaser) + English jump.

Origin

English

jump

Gloss

Timeline

Distribution of cognates by language

Geogrpahic distribution of cognates

Cognates and derived terms