Integer Programming and Combinatorial Optimization : 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings - Matteo Fischetti, David P. Williamson ((Lecture Notes in Computer Science))