Lösen des Stundenplanproblems mit SAT

Studienarbeiten

• Themenvorschläge für Studien- und Abschlussarbeiten
• Abgeschlossene Arbeiten
  • Algebra und Diskrete Strukturen
  • Algebraische und logische Grundlagen der Informatik
  • Automatentheorie
  • Computational Logic
  • Knowledge-aware Artificial Intelligence
  • Logische Programmierung und Argumentation
  • Wissensbasierte Systeme
• Laufende Studienarbeiten

Toggle side column

Lösen des Stundenplanproblems mit SAT

Thema nicht mehr verfügbar

•   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.