Modeling and solving staff scheduling with partial weighted maxSAT.

Emir Demirovic Nysret Musliu Felix Winter

Published in: Ann. Oper. Res. (2019)

Keyphrases

combinatorial optimization
scheduling problem
upper bound
special case
modeling method
real time
data sets
web services
reinforcement learning