Solving the University Class Scheduling Problem Using Advanced ILP Techniques
An Extensible SAT-solver