Octopus: Constraint Satisfaction
Yehuda Naveh IBM Haifa Research Lab Haifa University Campus, Mount Carmel Haifa 31905 Israel Phone: +972-4-829-6381 email: naveh@il.ibm.com
