Dictionary

Words, grammatical forms and meanings linked to the ontology.

backjump en · NOUN

Pronunciation

(US) audio
/ˈbækˌd͡ʒʌmp/

Etymology

From back + jump.

Meanings

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

Forms

Spelling	Features	Labels	Source
backjumps	Number=Plur		lexicographic