Hospital shift scheduling, 20 ways: backtracking, SAT/SMT, flow, annealing, and more — head-to-head on 1,036 instances.
python benchmark network-flow simulated-annealing operations-research constraint-satisfaction constraint-propagation branch-and-bound combinatorial-optimization z3-solver nurse-scheduling-problem workforce-optimization shift-rostering
-
Updated
Sep 15, 2026 - Python