Lösen des Stundenplanproblems mit SAT
Aus International Center for Computational Logic
Lösen des Stundenplanproblems mit SAT
Verfügbar als Thema einer Bachelorarbeit, Masterarbeit, Diplomarbeit, Studienarbeit
- Betreuer Norbert Manthey
- Wissensverarbeitung
- Beginn
Ü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.
