A university-timetabling problem and its solution using Benders' partitioning---a case study

From MaRDI portal