Solving the University Class Scheduling Problem Using Advanced ILP Techniques
A machine program for theorem-proving