Model-Based Problem Solving for University Timetable Validation and Improvement.

David Schneider, Michael Leuschel, Tobias Witt

Browse the full FM paper archive.