CP-WSP: A Declarative CP-SAT Framework for Configurable Multi-Constraint Workforce Scheduling | Digital Library | PAMCET | PAMCET