Constraint Processing (2003)

by R Dechter