Curriculum-based course timetabling with SAT and MaxSAT | Publicación