Proceedings of the First Workshop on the Integration of SAT and CP techniques

  • Youssef Hamadi

MSR-TR-2006-153 |

This document secures the proceedings of the first international workshop on the integration of SAT and CP techniques. This event took place in September 2006 in conjunction with the twelfth International Conference on Principles and Practice of Constraint Programming (CP’06).