Modeling and solving staff scheduling with partial weighted maxSAT

von Demirović, Nysret
Veröffentlicht in International Conference on the Practice and Theory of Automated Timetabling (11. : 2016 : Udine) The practice and theory of automated timetabling (2016) (2019)