A. Kreczmar, “Algorithm for constructing of university timetables and criterion of consistency of requirements”, Acta Cybern, vol. 2, no. 2, pp. 135-145, Jan. 1973.