Catbox : an interactive course in combinatorial optimization (2010)