E. Demirovic, N. Musliu, F. Winter:
"Modeling and solving staff scheduling with partial weighted maxSAT";
Talk: PATAT 2016, Udine; 2016-08-23 - 2016-08-26; in: "PATAT 2016: Proceedings of the 11th International Conference of the Practice and Theory of Automated Timetabling", (2016), ISBN: 978-0-9929984-1-7; 17 pages.