Principles and Practice of Constraint Programming - CP 2012 : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012, Proceedings - Michela Milano ((Lecture Notes in Computer Science))