Leram - Combinatorial Optimization and Applications: 7th International Conference, Cocoa 2013, Chengdu, China, December 12-14, 2013, Proceedings: 8287