The creation of staff rosters for emergency shifts for doctors is a complex task. To construct good rosters, many restrictions (e.g. holydays and workload) have to be taken into account. These restrictions have been ...