Title: A mechanized decision support system for academic scheduling
Subjects: Management