Machine Learning and Constraint Satisfaction
Contact Information
The Machine Learning and Constraint Satisfaction group is part of the Analytics department, within the Verification & Analytics unit at IBM Research – Haifa.
The group is located at Haifa University Campus, Mount Carmel, Haifa, 31905, Israel.
Contact: Merav Aharoni (merav@il.ibm.com)