Modeling and solving staff scheduling with partial weighted maxSAT
scientific article; zbMATH DE number 7032708
scientific article