Talks and Poster Presentations (with Proceedings-Entry):

E. Demirovic, N. Musliu:
"Solving High School Timetabling with Satisfiability Modulo Theories";
Talk: PATAT 2014, York; 08-26-2014 - 08-29-2014; in: "Proceedings of the 10th International Conference of the Practice and Theory of Automated Timetabling", (2014), 25 pages.

Electronic version of the publication:

Related Projects:
Project Head Nysret Musliu:
Künstliche Intelligenz in der Personalplanung

Created from the Publication Database of the Vienna University of Technology.