Package yacs.solver.fdsolver.search

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.