Cargando…
Modeling and solving staff scheduling with partial weighted maxSAT
Employee scheduling is a well known problem that appears in a wide range of different areas including health care, air lines, transportation services, and basically any organization that has to deal with workforces. In this paper we model a collection of challenging staff scheduling instances as a w...
Autores principales: | Demirović, Emir, Musliu, Nysret, Winter, Felix |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
Springer US
2017
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6394591/ https://www.ncbi.nlm.nih.gov/pubmed/30880860 http://dx.doi.org/10.1007/s10479-017-2693-y |
Ejemplares similares
-
Integer programming model extensions for a multi-stage nurse rostering problem
por: Mischek, Florian, et al.
Publicado: (2017) -
Modeling high school timetabling with bitvectors
por: Demirović, Emir, et al.
Publicado: (2016) -
Abstract Cores in Implicit Hitting Set MaxSat Solving
por: Berg, Jeremias, et al.
Publicado: (2020) -
Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems
por: Larrosa, Javier, et al.
Publicado: (2020) -
MaxSAT Resolution and Subcube Sums
por: Filmus, Yuval, et al.
Publicado: (2020)