Added Pinto Valdes' masters thesis to the bibliography.
Changed examiners to be the correct ones, now that they've been determined.
Typo fix in busy cuts.
Added a note about the performance of busy cuts in practice.
Added first version of busy subset cuts.
Added first version of professor complement cuts.
Forgot a LaTeX macro commit in the last addition.
Added busy cuts to constraints.txt, since they improve the performance in practice.