- weitere Konsistenzbegriffe (Hyperkante, Pfad)
- Entwurf autotool-Aufgabe zu FD-Solver
(im Vergleich zu DPLL)
- Konsistenzbegriffe anwenden auf Kodierung
von SAT als FD-Problem
- (Wiederholung Fourier-Motzkin, ergänze Quelltext,
so daß erfüllende Belegung berechnet wird)
2014-07-06
