Djeffal, L.; Goncalves, G.; Babes, M. Constraint Satisfaction Problem Based Modelling and Value Ordering Based Heuristic for Nurse Scheduling. JACS 2006, 14, 7-28.