The contrast analysis method (Tesar, 2004;Merchant, 2008) in effect uses constraint propagation (Dechter, 2003).
it serially eliminates variable values (describing aspects of the URs or the constraint ranking) that are provably incompatible with the data.