{"type":"ScholarlyArticle","title":"The Logic Behind Weighted CSP","authors":[{"name":"Carlos Ansótegui","slug":"carlos-ansotegui","given":"Carlos","family":"Ansótegui","affiliation":""},{"name":"Maria Luisa Bonet","slug":"maria-luisa-bonet","given":"Maria Luisa","family":"Bonet","affiliation":""},{"name":"Jordi Levy","slug":"jordi-levy","given":"Jordi","family":"Levy","affiliation":""},{"name":"Felip Manyà","slug":"felip-manya","given":"Felip","family":"Manyà","affiliation":""}],"abstract":"We define a translation from Weighted CSP to signed Max-SAT, and a complete resolution-style calculus for solving signed Max-SAT. Based on these results, we then describe an original exact algorithm for solving Weighted CSP. Finally, we define several derived rules and prove that they enforce the main soft arc consistency defined in the literature when applied to Weighted CSP instances.","doi":null,"url":"https://ijcai.org/proceedings/2007/3","pdf":"https://ijcai.org/proceedings/2007/0003.pdf","markdown":"https://ijcai.org/proceedings/2007/3.md","bibtex":"https://ijcai.org/proceedings/2007/bibtex/3","volume":{"slug":"2007","title":"Proceedings of the Twentieth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2007","url":"https://ijcai.org/proceedings/2007/","year":2007,"location":"Hyderabad, India","dates":"","editors":"Ramon López de Mántaras","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":3,"pages":{"first":32,"last":36},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}