Modeling and solving staff scheduling with partial weighted maxSAT (Q1730743): Difference between revisions

@@ Property / describes a project that uses @@
+Open-WBO
@@ Property / describes a project that uses: Open-WBO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Riss
@@ Property / describes a project that uses: Riss / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10479-017-2693-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2767925358
@@ Property / OpenAlex ID: W2767925358 / rank @@
+Normal rank
@@ Property / cites work @@
+Cardinality Networks and Their Applications
@@ Property / cites work: Cardinality Networks and Their Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+MaxSAT-Based Scheduling of B2B Meetings
@@ Property / cites work: MaxSAT-Based Scheduling of B2B Meetings / rank @@
+Normal rank
@@ Property / cites work @@
+New approaches to nurse rostering benchmark instances
+Normal rank
@@ Property / cites work @@
+A hybrid heuristic ordering and variable neighbourhood search for the nurse rostering problem
+Normal rank
@@ Property / cites work @@
+On the complexity of manpower shift scheduling
@@ Property / cites work: On the complexity of manpower shift scheduling / rank @@
+Normal rank
@@ Property / cites work @@
+maxSAT-based large neighborhood search for high school timetabling
+Normal rank
@@ Property / cites work @@
+Personnel scheduling: a literature review
@@ Property / cites work: Personnel scheduling: a literature review / rank @@
+Normal rank
@@ Property / cites work @@
+Staff scheduling and rostering: a review of applications, methods and models.
+Normal rank
@@ Property / cites work @@
+The first international nurse rostering competition 2010
+Normal rank
@@ Property / cites work @@
+Open-WBO: A Modular MaxSAT Solver,
@@ Property / cites work: Open-WBO: A Modular MaxSAT Solver, / rank @@
+Normal rank
@@ Property / cites work @@
+Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
+Normal rank
@@ Property / DBLP publication ID @@
+journals/anor/DemirovicMW19
@@ Property / DBLP publication ID: journals/anor/DemirovicMW19 / rank @@
+Normal rank