next up previous contents index
Nächste Seite: E.7.5 Klasse SingleSolutionBTSolver Aufwärts: E.7 Package yacs.solver.fdsolver.search Vorherige Seite: E.7.3 Klasse MAC3Solver   Inhalt   Index

E.7.4 Klasse 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). Der Solver wurde dahingehend modifiziert, dass anstatt lediglich einer Lösung alle möglichen Lösungen eines Problems gefunden werden.


Deklaration:


next up previous contents index
Nächste Seite: E.7.5 Klasse SingleSolutionBTSolver Aufwärts: E.7 Package yacs.solver.fdsolver.search Vorherige Seite: E.7.3 Klasse MAC3Solver   Inhalt   Index