backjump

发音

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

词形变化

backjumps 复数 backjumps

释义与例句

n.
  1. 1.

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

    计算机 工程 数学

词源

From back + jump.

来源：wiktionary