The Constraint Satisfaction team focuses on research and development in the area of constraint satisfaction problems (CSPs). Our main asset is the constraint solver, a robust, general-purpose, state-of-the-art tool that has been used for more than a decade in modeling and solving many complex constraint problems. Our department has long-standing expertise in CSP algorithms and modeling. Our aim is to provide value to IBM through the application of constraint solving to various domains along with close interaction with the academic community. We work closely with our IBM partners to find the best constraint or optimization model for their domain and to apply the best heuristics when solving this model.


Past Activities


Tom Kolan, Manager Cloud and Hardware Quality, IBM Research - Haifa