Javier Larrosa Node and Arc Consistency in Weighted CSP. 48-53 2002 AAAI/IAAI db/conf/aaai/aaai2002.html#Larrosa02