Solving the Employee Timetabling Problem Using Advanced SAT & ILP Techniques. - Fadi A. Aloul; Syed Z. H. Zahidi; Anas Al-Farra; Basel Al-Roh; Bashar Al-Rawi (J. Comput., 2013)