BJ

Definition

BJ steht für Backjumping, eine Optimierungstechnik in der Constraint-Programmierung und beim Lösen von Erfüllbarkeitsproblemen. Dabei werden bei einem Widerspruch mehrere Entscheidungsebenen gleichzeitig zurückgesprungen, anstatt nur eine.