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]

Abstract

Abstract is missing.