BMJ

Definition

Ein Algorithmus zur Rückverfolgung mit Backjumping, der in der Constraint-Programmierung zur effizienten Lösungssuche eingesetzt wird.