Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
E. Demirovic, N. Musliu:
"Solving High School Timetabling with Satisfiability Modulo Theories";
Vortrag: PATAT 2014,
York;
26.08.2014
- 29.08.2014; in: "Proceedings of the 10th International Conference of the Practice and Theory of Automated Timetabling",
(2014),
25 S.
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_236866.pdf
Zugeordnete Projekte:
Projektleitung Nysret Musliu:
Künstliche Intelligenz in der Personalplanung
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.