Constraint Satisfaction Methods for Applications in Engineering. - Esther M. Gelle; Boi Faltings; Denis E. Clément; Ian F. C. Smith (Eng. Comput., 2000)