"Indigo: A Local Propagation Algorithm for Inequality Constraints"
