Principles and practice of constraint programming 18th international conference, CP 2012, Québec City, QC, Canada, October 8 - 12, 2012 ; proceedings (Springer, 2012)