Class Summary |
BacktrackingSolver |
Einfacher Backtracking-Solver zur Lösungssuche in einem Constraint-Problem
mit finiten Domänen nach Dechter und Frost (1998, S. 13) bzw. |
DomDegRatioVariableOrdering |
Generiert auf Basis des "Fail-First"-Prinzips (FF) und der
"Maximum-Degree-Ordering"-Heuristik (MDO) eine Reihenfolge für die Belegung
von Variablen während einer Lösungssuche (vgl. |
MAC3Solver |
Einfacher MAC-3-Solver zur Lösungssuche mit "look-ahead" in einem
Constraint-Problem mit finiten Domänen nach Dechter und Frost (2002, S. 175
u. 178). |
MACSolver |
Einfacher MAC-Solver zur Lösungssuche mit "look-ahead" in einem
Constraint-Problem mit finiten Domänen nach Dechter und Frost (2002, S. 175
u. 178). |
SingleSolutionBTSolver |
Ein rekursiver Backtracking"=Solver für finite Domänen in Anlehnung
an Marriott u. |