{"id":"arxiv/2607.05177","url":"https://arxiv.org/abs/2607.05177","tags":["cs.AI","math.OC"],"score":0,"title":"CP-WSP: A Declarative CP-SAT Framework for Configurable Multi-Constraint Workforce Scheduling","domain":"cs.AI","source":"arxiv","authors":["Vipul Patel","Anirudh Deodhar","Dagnachew Birru"],"reviews":0,"subject":"cs.AI","summary":"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…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-07-06","reactions":{}}