Principles and Practice of Constraint Programing-CP 2013 : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings - Christian Schulte ((Lecture Notes in Computer Science))