Introducing global constraints in chip (1994)

by N Beldiceanu, E Contejean
Venue:Journal of Mathematical and Computer Modelling