TY - JOUR AU - Meseguer, P. AU - Larrosa, J. PY - 1995// TI - Constraint satisfaction as Global Optimization SP - 579 EP - 584 CY - ijcai95l ID - Meseguer95 ER -