Filippo Focacci Andrea Lodi Michela Milano Optimization-Oriented Global Constraints. 351-365 2002 7 Constraints 3-4 db/journals/constraints/constraints7.html#FocacciLM02