Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper introduces CP-WSP, a declarative CP-SAT framework designed for complex workforce scheduling that enforces 14 hard constraints while optimizing 15 soft objectives, addressing critical gaps in existing models. The framework allows for mandatory break scheduling, acuity-weighted workload equity, and supports various temporal resolutions, making it suitable for 24-hour operations with cross-midnight shifts. Evaluated against INRC-II benchmarks, CP-WSP demonstrates superior performance across 36 synthetic configurations, providing a robust solution for real-world scheduling challenges.
Enforcing 14 hard constraints while optimizing 15 soft objectives, CP-WSP revolutionizes workforce scheduling by eliminating regulatory violations from the outset.
Workforce scheduling is an NP-hard combinatorial optimization problem requiring simultaneous satisfaction of labor regulations, coverage requirements, employee preferences and operational objectives. Existing CP formulations typically model simplified instances with 6-12 constraints at shift-level granularity and critically lack explicit support for: mandatory break scheduling with midpoint placement control; acuity weighted workload equity; sub-shift temporal granularity enabling demand-driven staffing; inter-week schedule stability; and cross-midnight shift patterns common in 24-hour operations. This paper presents CP-WSP: a declarative CP-SAT framework enforcing 14 hard constraints as mathematically inviolable requirements (zero regulatory violations by construction) while optimizing 15 soft objectives through a unified weighted penalty function -- all configurable via a JSON specification with no code changes required. Key contributions include: a shift-window variable decomposition enabling mandatory break scheduling with centrality control; acuity-weighted workload equity; multi-granularity temporal resolution from 30 minutes to 2 hours; inter-week schedule stability; a grid-offset preprocessing technique for cross-midnight shifts; and a reproducible 36-configuration benchmark suite for community comparison. Evaluated on INRC-II benchmarks at both hourly and shift-level granularity and on 36 synthetic configurations.