Thema3415: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Norbert Manthey (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Lösen des Stundenplanproblems mit SAT |Titel EN=Solving school time tables with SAT |Abschlussarbeitstyp=Bachelor, Master, Diplom,…“) |
Markus Krötzsch (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 5: | Zeile 5: | ||
|Betreuer=Norbert Manthey | |Betreuer=Norbert Manthey | ||
|Forschungsgruppe=Wissensverarbeitung | |Forschungsgruppe=Wissensverarbeitung | ||
|Abschlussarbeitsstatus= | |Abschlussarbeitsstatus=Nicht mehr verfügbar | ||
|Beschreibung DE=Übersetzen des Stundenplanproblems nach SAT, mit bekannten Verfahren. | |Beschreibung DE=Übersetzen des Stundenplanproblems nach SAT, mit bekannten Verfahren. | ||
Aktuelle Version vom 16. April 2021, 21:49 Uhr
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.
