Martin C. Cooper Simon de Givry Martí Sánchez Thomas Schiex Matthias Zytnicki Virtual Arc Consistency for Weighted CSP. 253-258 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#CooperGSSZ08