Refining the basic constraint propagation algorithm (0)

by C Bessiere, J-C Regin
Venue:in: IJCAI-2001, 2001