{"type":"ScholarlyArticle","title":"Translation-Based Constraint Answer Set Solving","authors":[{"name":"Christian Drescher","slug":"christian-drescher","given":"Christian","family":"Drescher","affiliation":""},{"name":"Toby Walsh","slug":"toby-walsh","given":"Toby","family":"Walsh","affiliation":""}],"abstract":"We solve constraint satisfaction problems through translation to answer set programming (ASP). Our reformulations have the property that unit-propagation in the ASP solver achieves well defined local consistency properties like arc, bound and range consistency. Experiments demonstrate the computational value of this approach.","doi":"10.5591/978-1-57735-516-8/IJCAI11-432","url":"https://ijcai.org/proceedings/2011/432","pdf":"https://ijcai.org/proceedings/2011/0432.pdf","markdown":"https://ijcai.org/proceedings/2011/432.md","bibtex":"https://ijcai.org/proceedings/2011/bibtex/432","volume":{"slug":"2011","title":"Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2011","url":"https://ijcai.org/proceedings/2011/","year":2011,"location":"Barcelona, Catalonia, Spain","dates":"16–22 July 2011","editors":"Toby Walsh","isbn":"978-1-57735-512-0; 978-1-57735-513-7; 978-1-57735-514-4; 978-1-57735-515-1; 978-1-57735-516-8","publisher":"AAAI Press/International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":432,"pages":{"first":2596,"last":2600},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}