Youssef Hamadi and Lucas Bordeaux (Eds.) Integration of SAT and CP Techniques First International Workshop Nantes, France, September 25, 2006 Held in Conjunction with the 12 th International Conference on Principles and Practice of Constraint Programming (CP 2006)