Inference Rules for High-Order Consistency in Weighted CSP.

Carlos Ansótegui Maria Luisa Bonet Jordi Levy Felip Manyà Inference Rules for High-Order Consistency in Weighted CSP. 167-172 2007 conf/aaai/2007 AAAI db/conf/aaai/aaai2007.html#AnsoteguiBLM07