Inference Rules for High-Order Consistency in Weighted CSP.

Carlos Anstegui, Maria Luisa Bonet, Jordi Levy, Felip Many

Browse the full AAAI paper archive.