Talks and Poster Presentations (with Proceedings-Entry):
E. Demirovic, N. Musliu:
"Solving High School Timetabling with Satisfiability Modulo Theories";
Talk: PATAT 2014,
York;
2014-08-26
- 2014-08-29; in: "Proceedings of the 10th International Conference of the Practice and Theory of Automated Timetabling",
(2014),
25 pages.
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_236866.pdf
Related Projects:
Project Head Nysret Musliu:
Künstliche Intelligenz in der Personalplanung
Created from the Publication Database of the Vienna University of Technology.