{"type":"ScholarlyArticle","title":"The Range and Roots Constraints: Specifying Counting and Occurrence Problems","authors":[{"name":"Christian Bessière","slug":"christian-bessiere","given":"Christian","family":"Bessiere","affiliation":""},{"name":"Emmanuel Hebrard","slug":"emmanuel-hebrard","given":"Emmanuel","family":"Hebrard","affiliation":""},{"name":"Brahim Hnich","slug":"brahim-hnich","given":"Brahim","family":"Hnich","affiliation":""},{"name":"Zeynep Kiziltan","slug":"zeynep-kiziltan","given":"Zeynep","family":"Kiziltan","affiliation":""},{"name":"Toby Walsh","slug":"toby-walsh","given":"Toby","family":"Walsh","affiliation":""}],"abstract":"We propose a simple declarative language for specifying a wide range of counting and occurrence constraints. This specification language is executable since it immediately provides a polynomial propagation algorithm. To illustrate the capabilities of this language, we specify a dozen global constraints taken from the literature. We observe one of three outcomes: we achieve generalized arc-consistency; we do not achieve generalized arc-consistency, but achieving generalized arcconsistency is NP-hard; we do not achieve generalized arc-consistency, but specialized propagation algorithms can do so in polynomial time. Experiments demonstrate that this specification language is both efficient and effective in practice.","doi":null,"url":"https://ijcai.org/proceedings/2005/69","pdf":"https://ijcai.org/proceedings/2005/0069.pdf","markdown":"https://ijcai.org/proceedings/2005/69.md","bibtex":"https://ijcai.org/proceedings/2005/bibtex/69","volume":{"slug":"2005","title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2005","url":"https://ijcai.org/proceedings/2005/","year":2005,"location":"Edinburgh, Scotland, UK","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":69,"pages":{"first":60,"last":64},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}