CBJ

Definition

Conflict-directed Backjumping (CBJ) ist ein Algorithmus zur Lösung von Constraint-Satisfaction-Problemen. Im Gegensatz zu einfachem Backtracking springt CBJ bei einem Konflikt direkt zur Ursache des Problems zurück und überspringt irrelevante Entscheidungen.