Bernard A. Nadel Constraint satisfaction algorithms. 188-224 1989 5 Computational Intelligence db/journals/ci/ci5.html#Nadel89