Modeling and solving staff scheduling with partial weighted maxSAT
type: Item
instance of: scholarly article
title: Modeling and solving staff scheduling with partial weighted maxSAT
zbMATH Open document ID: 1434.90053
author: Emir Demirović
author: Nysret Musliu
author: Felix Winter
published in: Annals of Operations Research
publication date: 2019-03-06T00:00:00Z
Mathematics Subject Classification ID: 90B35
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 90B70
zbMATH DE Number: 7032708
zbMATH Keywords: employee scheduling
zbMATH Keywords: maxSAT
zbMATH Keywords: SAT encodings
zbMATH Keywords: cardinality constraints
Wikidata QID: Q59607527
describes a project that uses: Sat4j
describes a project that uses: Open-WBO
describes a project that uses: Riss
MaRDI profile type: Publication
full work available at URL: s10479-017-2693-y
OpenAlex ID: W2767925358
cites work: Cardinality Networks and Their Applications
cites work: Q5503674
cites work: MaxSAT-Based Scheduling of B2B Meetings
cites work: New approaches to nurse rostering benchmark instances
cites work: A hybrid heuristic ordering and variable neighbourhood search for the nurse rostering problem
cites work: On the complexity of manpower shift scheduling
cites work: maxSAT-based large neighborhood search for high school timetabling
cites work: Personnel scheduling: a literature review
cites work: Staff scheduling and rostering: a review of applications, methods and models.
cites work: The first international nurse rostering competition 2010
cites work: Open-WBO: A Modular MaxSAT Solver,
cites work: Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
DBLP publication ID: journals/anor/DemirovicMW19
DOI: 10.1007/S10479-017-2693-Y
Recommended article: Modeling staff scheduling problems. A tutorial
Recommended article: Models and algorithms for a staff scheduling problem
Recommended article: Scheduling staff using mixed integer programming
Recommended article: Modeling and algorithmic development of a staff scheduling problem
Recommended article: Q5716487
Recommended article: A Polyhedral Approach for the Staff Rostering Problem
Recommended article: Solving (Weighted) Partial MaxSAT through Satisfiability Testing
Recommended article: Modelling and solving employee timetabling problems
description: scientific article; zbMATH DE number 7032708