backjump (English, noun)
expansion: backjump (plural backjumps)
Senses:
topics: computing
computing-theory
engineering
mathematics
natural-sciences
physical-sciences
sciences
glosses: A jump from one level of an algorithm to another, used in backjumping.
Forms:
form: backjumps
tags: plural