|
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. |