Constraint processing. (2003)

by R Dechter