FC

Definition

Forward Checking ist eine Technik in der Constraint-Programmierung, die bei jeder Variablenzuweisung die Auswirkungen auf noch nicht zugewiesene Variablen prüft. Sie erkennt Konflikte frühzeitig und verbessert so die Sucheffizienz.