Constraint processing incorporating (0)

by Rina Dechter