Employee Scheduling With SAT-Based Pseudo-Boolean Constraint Solving | Publicación