A novel algorithm for global constraint satisfaction - Hower, Walter (1990)