Modeling and solving staff scheduling with partial weighted maxSAT

Emir Demirovic, Nysret Musliu, Felix Winter. Modeling and solving staff scheduling with partial weighted maxSAT. Annals OR, 275(1):79-99, 2019. [doi]

Authors

Emir Demirovic

This author has not been identified. Look up 'Emir Demirovic' in Google

Nysret Musliu

This author has not been identified. Look up 'Nysret Musliu' in Google

Felix Winter

This author has not been identified. Look up 'Felix Winter' in Google