Project level: Masters, Honours, Summer
In this project students will implement the algorithms in the attached paper, possibly improving them by making more general use of lazy constraints.