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

@@ 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