Talks and Poster Presentations (with Proceedings-Entry):
E. Demirovic, N. Musliu:
"Modeling High School Timetabling as PartialWeighted maxSAT";
Talk: 4th Workshop on Logic and Search,
Wien;
07-18-2014; in: "The Proceedings of 4th Workshop on Logic and Search (a SAT / ICLP workshop at FLoC 2014)",
(2014),
15 pages.
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_236864.pdf
Related Projects:
Project Head Nysret Musliu:
Künstliche Intelligenz in der Personalplanung
Created from the Publication Database of the Vienna University of Technology.