Y. Kochetov, P. Kononova, and M. Paschenko, “Formulation space search approach for the teacher/class timetabling problem”, YUJOR, vol. 18, no. 1, pp. 1–11, Mar. 2008.