Lösen des Stundenplanproblems mit SAT

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Lösen des Stundenplanproblems mit SAT

Thema nicht mehr verfügbar
Übersetzen des Stundenplanproblems nach SAT, mit bekannten Verfahren.

Mögliche Erweiterungen des Problems sind das Hinzufügen von Optimalitätskriterien, das Auffinden aller möglichen Stundenpläne, oder das Finden von Inkonsistenzen in der Spezifikation.