{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T02:58:02Z","timestamp":1761620282668,"version":"build-2065373602"},"reference-count":92,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780444527264"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1016\/s1574-6526(06)80021-0","type":"book-chapter","created":{"date-parts":[[2008,2,26]],"date-time":"2008-02-26T16:51:39Z","timestamp":1204044699000},"page":"605-638","source":"Crossref","is-referenced-by-count":5,"title":["Constraints over Structured Domains"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S1574-6526(06)80021-0_bib1","article-title":"The B Book \u2014 Assigning Programs to Meanings","author":"Abrial","year":"1996","journal-title":"Cambridge University Press"},{"key":"10.1016\/S1574-6526(06)80021-0_bib2","series-title":"Proceedings of PPCP'04","article-title":"Set Constraints: Results, Applications and Future Directions","author":"Aiken","year":"1994"},{"year":"2003","series-title":"Constraint Solving over Multi-Valued Logics. Application to Digital Circuits","author":"Azevedo","key":"10.1016\/S1574-6526(06)80021-0_bib3"},{"key":"10.1016\/S1574-6526(06)80021-0_bib4","series-title":"Proceedings of Computational Logic","article-title":"Cardinal: an extended set solver","author":"Azevedo","year":"2000"},{"key":"10.1016\/S1574-6526(06)80021-0_bib5","article-title":"Cardinal: A Finite Set Constraints Solver","author":"Azevedo","year":"2006","journal-title":"Constraint journal"},{"key":"10.1016\/S1574-6526(06)80021-0_bib6","series-title":"Proceedings of LICS","article-title":"Set Constraints are the Monadic Class","author":"Bachmaier","year":"1993"},{"key":"10.1016\/S1574-6526(06)80021-0_bib7","series-title":"CICLOPS'01 workshop","article-title":"Facile: A Functional Constraint Library","author":"Barnier","year":"2001"},{"key":"10.1016\/S1574-6526(06)80021-0_bib8","series-title":"Proceedings of CP","article-title":"Solving the Kirkman's Schoolgirl Problem in a Few Seconds","author":"Barnier","year":"2004"},{"key":"10.1016\/S1574-6526(06)80021-0_bib9","series-title":"ICTAI","article-title":"Sequence Constraint Solving in Constraint Logic Programming","author":"Baptiste","year":"1994"},{"key":"10.1016\/S1574-6526(06)80021-0_bib10","series-title":"Journal of Logic Programming","first-page":"181","article-title":"Set constructors in a logic database language","author":"Beeri","year":"1991"},{"key":"10.1016\/S1574-6526(06)80021-0_bib11","series-title":"Constraint Programming: Basics and Trends","article-title":"Interval Constraint Logic Programming","author":"Benhamou","year":"1995"},{"year":"1971","series-title":"Principle of combinatorics. Volume 72 of Mathematics in science and engineering","author":"Berge","key":"10.1016\/S1574-6526(06)80021-0_bib12"},{"key":"10.1016\/S1574-6526(06)80021-0_bib13","series-title":"Proceedings of CP","article-title":"Disjoint, Partition and Intersection Constraints for Sets and Multiset Variables","author":"Bessi\u00e8re","year":"2004"},{"key":"10.1016\/S1574-6526(06)80021-0_bib14","series-title":"Proceedings of CP","article-title":"The Tractability of Global Constraints","author":"Bessi\u00e8re","year":"2004"},{"key":"10.1016\/S1574-6526(06)80021-0_bib15","first-page":"143","article-title":"CLPS-B: A Constraint Solver to Animate a B Specification","volume":"6","author":"Bouquet","year":"2004"},{"issue":"3","key":"10.1016\/S1574-6526(06)80021-0_bib16","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/136035.136043","article-title":"Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams","volume":"24","author":"Bryant","year":"1992","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/S1574-6526(06)80021-0_bib17","series-title":"ECAI workshop","article-title":"Constraints on Order-Sorted Domains","author":"Caseau","year":"1996"},{"issue":"2","key":"10.1016\/S1574-6526(06)80021-0_bib18","article-title":"Logical arithmetic","volume":"2","author":"Cleary","year":"1987","journal-title":"Future Generation Computing Systems"},{"key":"10.1016\/S1574-6526(06)80021-0_bib19","series-title":"Surveys in Combinatorics, London Mathematical Society Lecture Note Series 187","article-title":"Applications of Combinatorial Designs to Communications, Cryptography, and Networking","author":"Dinitz","year":"1999"},{"issue":"4","key":"10.1016\/S1574-6526(06)80021-0_bib20","article-title":"Prolog, bases th\u00e9oriques et d\u00e9veloppements actuels","volume":"2","author":"Colmerauer","year":"1983","journal-title":"T.S.I. (Techniques et Sciences Informatiques)"},{"key":"10.1016\/S1574-6526(06)80021-0_bib21","series-title":"Fifth Int. Conf. on Knowledge Rep. and Reasoning","article-title":"Symmetry breaking predicates for search problems","author":"Crawford","year":"1996"},{"key":"10.1016\/S1574-6526(06)80021-0_bib22","series-title":"Proceedings of BeyondFD'05, First International Workshop on CP beyond FD, held alongside CP","article-title":"CP(Graph + Map) for Approximate Graph Matching","author":"Deville","year":"2005"},{"key":"10.1016\/S1574-6526(06)80021-0_bib23","series-title":"Proceedings of FGCS","article-title":"The Constraint Logic Programming Language CHIP","author":"Dincbas","year":"1988"},{"key":"10.1016\/S1574-6526(06)80021-0_bib24","series-title":"Proceedings of CP","article-title":"CP(Graph): Introducing a Graph Computation Domain in Constraint Programming","author":"Dooms","year":"2004"},{"key":"10.1016\/S1574-6526(06)80021-0_bib25","series-title":"Proceedings of ICLP","article-title":"{log}: A Logic Programming Language with Finite Sets","author":"Dovier","year":"1991"},{"article-title":"Computable Set Theory and Logic Programming","year":"1996","author":"Dovier","key":"10.1016\/S1574-6526(06)80021-0_bib26"},{"issue":"1","key":"10.1016\/S1574-6526(06)80021-0_bib27","doi-asserted-by":"crossref","DOI":"10.1016\/0743-1066(95)00147-6","article-title":"{log}: A Language for Programming in Logic with Finite Sets","volume":"28","author":"Dovier","year":"1996","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(06)80021-0_bib28","article-title":"Sets and Constraint Logic Programming","volume":"22","author":"Dovier","year":"2000"},{"key":"10.1016\/S1574-6526(06)80021-0_bib29","series-title":"Proceedings of INOC","article-title":"A Set-based Approach to the Optimal IGP Weight Setting Problem","author":"Eremin","year":"2005"},{"key":"10.1016\/S1574-6526(06)80021-0_bib30","article-title":"An Interval Constraint System for Lattice Domains","volume":"26","author":"Fernandez","year":"2004"},{"key":"10.1016\/S1574-6526(06)80021-0_bib31","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(70)90003-2","article-title":"Ref-arf: A system for solving problems stated as procedures","volume":"1","author":"Fikes","year":"1970","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(06)80021-0_bib32","series-title":"Proceedings of PADL","article-title":"Compiling high level type constructors in constraint programming","author":"Flener","year":"2001"},{"key":"10.1016\/S1574-6526(06)80021-0_bib33","series-title":"Proceedings of CP","article-title":"Breaking row and column symmetries in matrix models","author":"Flener","year":"2002"},{"key":"10.1016\/S1574-6526(06)80021-0_bib34","series-title":"24th International Conference on Innovative Techniques and Applications of AI","article-title":"The Designers' Workbench: Using Ontologies and Constraints for Configuration","author":"Fowler","year":"2004"},{"key":"10.1016\/S1574-6526(06)80021-0_bib35","series-title":"Proceedings of IJCAI","article-title":"The Rules of Constraint Modelling","author":"Frisch","year":"2005"},{"key":"10.1016\/S1574-6526(06)80021-0_bib36","series-title":"ECAI\/W9 Modelling and Solving Problems with Constraints","article-title":"A 0\/1 encoding of the gaclex for pairs of vectors","author":"Gent","year":"2002"},{"key":"10.1016\/S1574-6526(06)80021-0_bib37","series-title":"Third Workshop on Constraint Logic Programming (WCLP'93)","article-title":"New Structures of Symbolic Constraint Objects: Sets and Graphs","author":"Gervet","year":"1993"},{"key":"10.1016\/S1574-6526(06)80021-0_bib38","series-title":"Workshop on Logic Programming with Sets, held alongside ICLP","article-title":"Sets and Binary Relation Variables Viewed as Constrained Objects","author":"Gervet","year":"1993"},{"key":"10.1016\/S1574-6526(06)80021-0_bib39","series-title":"Proceedings of ILPS","article-title":"Conjunto: Constraint Logic Programming with Finite Set Domains","author":"Gervet","year":"1994"},{"issue":"3","key":"10.1016\/S1574-6526(06)80021-0_bib40","article-title":"Interval Propagation to Reason about Sets: Definition and Implementation of a Practical Language","volume":"1","author":"Gervet","year":"1997","journal-title":"Constraints journal"},{"article-title":"A New Set Domain Representation Using Length-Lex Ordering","year":"2006","author":"Gervet","key":"10.1016\/S1574-6526(06)80021-0_bib41"},{"key":"10.1016\/S1574-6526(06)80021-0_bib42","series-title":"Proceedings of CP","article-title":"Constraint Reasoning over Strings","author":"Golden","year":"2003"},{"key":"10.1016\/S1574-6526(06)80021-0_bib43","article-title":"On Representatives of Subsets","volume":"10","author":"Hall","year":"1935","journal-title":"Journal of London Mathematical Society"},{"key":"10.1016\/S1574-6526(06)80021-0_bib44","series-title":"Proceedings of AI'04: Australian Joint Conference on Artificial Intelligence","article-title":"Set bounds and (split) set domain propagation using ROBDDs","author":"Hawkins","year":"2004"},{"key":"10.1016\/S1574-6526(06)80021-0_bib45","doi-asserted-by":"crossref","DOI":"10.1613\/jair.1638","article-title":"Solving Set Constraint Satisfaction Problems using ROBDDs","volume":"24","author":"Hawkins","year":"2005","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10.1016\/S1574-6526(06)80021-0_bib46","series-title":"Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science","article-title":"A Decision Procedure for a Class of SetConstraints","author":"Heintze","year":"1990"},{"key":"10.1016\/S1574-6526(06)80021-0_bib47","series-title":"Proceedings of LPAR","article-title":"Deciding in HFS-Theory via Linear Integer Programming with Application to Set Unification","author":"Hibti","year":"1993"},{"key":"10.1016\/S1574-6526(06)80021-0_bib48","article-title":"Function variables for Constraint Programming","author":"Hnich","year":"2003","journal-title":"PhD thesis, Uppsala University, Department of Information Science"},{"year":"1979","series-title":"Introduction to Automata Theory, Languages and Computation","author":"Hopcraft","key":"10.1016\/S1574-6526(06)80021-0_bib49"},{"journal-title":"Ilog. User's manual","year":"2003","key":"10.1016\/S1574-6526(06)80021-0_bib50"},{"journal-title":"Ilog. User's manual","year":"2004","key":"10.1016\/S1574-6526(06)80021-0_bib51"},{"key":"10.1016\/S1574-6526(06)80021-0_bib52","series-title":"Proceedings of PLILP","article-title":"A New Datastructure for Implementing Extensions to Prolog","author":"Le Huitouze","year":"1990"},{"key":"10.1016\/S1574-6526(06)80021-0_bib54","series-title":"Proceedings of the SymCon-02 workshop,m held alongside CP","article-title":"Constraint Programming with Multisets","author":"Kiziltan","year":"2002"},{"key":"10.1016\/S1574-6526(06)80021-0_bib55","unstructured":"D. Knuth. The Art of Programming, Volume 4. Pre-Fascicle 2a, Generating all tuples."},{"key":"10.1016\/S1574-6526(06)80021-0_bib56","series-title":"Proceedings of IFIP","article-title":"Predicate Logic as a Programming Language","author":"Kowalski","year":"1974"},{"volume":"volume 41","year":"1990","author":"Kuper","key":"10.1016\/S1574-6526(06)80021-0_bib57"},{"key":"10.1016\/S1574-6526(06)80021-0_bib58","series-title":"Proceedings of TRICS, held alongside CP-2000","article-title":"CHOCO: Implementing a CP Kernel","author":"Laburthe","year":"2000"},{"key":"10.1016\/S1574-6526(06)80021-0_bib59","series-title":"Proceedings of CP","article-title":"Constraints over Ontologies","author":"Laburthe","year":"2003"},{"key":"10.1016\/S1574-6526(06)80021-0_bib60","series-title":"Proceedings CP","article-title":"Set domain propagation using ROBDDs","author":"Lagoon","year":"2004"},{"key":"10.1016\/S1574-6526(06)80021-0_bib61","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(78)90029-2","article-title":"A Language and a Program for Stating and Solving Combinatorial Problems","volume":"10","author":"Lauri\u00e8re","year":"1978","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(06)80021-0_bib62","article-title":"Interval Computation as Deduction in CHIP","volume":"16","author":"Lee","year":"1993"},{"key":"10.1016\/S1574-6526(06)80021-0_bib63","series-title":"Proceedings of PLILP","article-title":"Short overview of the CLPS System","author":"Legeard","year":"1991"},{"key":"10.1016\/S1574-6526(06)80021-0_bib65","article-title":"Unification of Sets and Multisets","author":"Livesey","year":"1976","journal-title":"Memo seki-76-ii, University of St. Andrews (Scotland) and Universit\u00e2t Karlsruhe (Germany) Department of Computer Science"},{"key":"10.1016\/S1574-6526(06)80021-0_bib66","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(77)90007-8","article-title":"Consistency in networks of relations","author":"Mackworth","year":"1977","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(06)80021-0_bib68","article-title":"Constraint Propagation in Mozart","author":"M\u00fcller","year":"2001","journal-title":"PhD dissertation, Universit\u00e4t des Saarlandes, Naturwissenschaftlich-Technische Fakult\u00e4t I, Fachrichtung Informatik, Saarbr\u00e4ucken, Germany"},{"key":"10.1016\/S1574-6526(06)80021-0_bib69","article-title":"Finite Set Constraints in Oz","volume":"13","author":"M\u00fcller","year":"1997"},{"key":"10.1016\/S1574-6526(06)80021-0_bib70","series-title":"Proceedings of PAPPACT","article-title":"Solving Set Partitioning Problems with Constraint Programming","author":"M\u00fcller","year":"1998"},{"key":"10.1016\/S1574-6526(06)80021-0_bib71","series-title":"Constraint Logic Programming: Selected Papers","article-title":"Constraint Arithmetic on Real Intervals","author":"Older","year":"1993"},{"key":"10.1016\/S1574-6526(06)80021-0_bib72","article-title":"Set Constraints: a Pearl in Research and Constraints","author":"Pacholski","year":"1997","journal-title":"Tutorial at CP"},{"key":"10.1016\/S1574-6526(06)80021-0_bib74","series-title":"Proceedings of CP","article-title":"A Regular Language Membership Constraint for Finite Sequences of Variables","author":"Pesant","year":"2004"},{"key":"10.1016\/S1574-6526(06)80021-0_bib75","series-title":"Proceedings of Spicis","article-title":"PECOS a High Level Constraint Programming Language","author":"Puget","year":"1992"},{"key":"10.1016\/S1574-6526(06)80021-0_bib76","series-title":"Third Workshop on Constraint Logic Programming (WCLP'93)","article-title":"Set Constraints and Cardinality Operator: Application to Symmetrical Combinatorial Problems","author":"Puget","year":"1993"},{"key":"10.1016\/S1574-6526(06)80021-0_bib77","series-title":"Workshop on set constraints, held alongside CP","article-title":"Finite set intervals","author":"Puget","year":"1996"},{"key":"10.1016\/S1574-6526(06)80021-0_bib78","series-title":"Proc. of CP","article-title":"Beyond Finite Domains: the All Different and Global Cardinality Constraints","author":"Quimper","year":"2005"},{"key":"10.1016\/S1574-6526(06)80021-0_bib79","series-title":"Proceedings of AAAI","article-title":"Generalized arc consistency for global cardinality constraints","author":"R\u00e9gin","year":"1996"},{"key":"10.1016\/S1574-6526(06)80021-0_bib80","series-title":"Proceedings of CP","article-title":"A Filtering Algorithm for Global Sequencing Constraints","author":"R\u00e9gin","year":"1997"},{"key":"10.1016\/S1574-6526(06)80021-0_bib81","article-title":"Automatic Computation of Data Set Definitions","volume":"68","author":"Reynolds","year":"1969","journal-title":"Information Processing"},{"key":"10.1016\/S1574-6526(06)80021-0_bib82","series-title":"FORMUL'01 workshop on modelling and problem formulation, held alongside CP","article-title":"Global Reasoning on Sets","author":"Sadler","year":"2001"},{"key":"10.1016\/S1574-6526(06)80021-0_bib83","article-title":"Global Filtering for the Disjointness Constraint on Fixed Cardinality Sets","author":"Sadler","year":"2004","journal-title":"Technical report ICPARC-04-02"},{"key":"10.1016\/S1574-6526(06)80021-0_bib84","series-title":"Proceedings of CP","article-title":"Hybrid Set Domains to Strengthen Constraint Propagation and Reduce Symmetries","author":"Sadler","year":"2004"},{"key":"10.1016\/S1574-6526(06)80021-0_bib85","article-title":"Strengthening Finite Set Constraint Solvers through Active Use of Problem Structure, Symmetries and Cardinality Information","author":"Sadler","year":"2005","journal-title":"PhD thesis, University of London, Imperial College"},{"year":"2003","series-title":"ECLiPSe Technical report 03-1","author":"Schimpf","key":"10.1016\/S1574-6526(06)80021-0_bib86"},{"issue":"12","key":"10.1016\/S1574-6526(06)80021-0_bib87","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0743-1066(92)90040-A","article-title":"Compilation of set terms in the logic data language (LDL)","volume":"12","author":"Shmueli","year":"1992","journal-title":"The Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(06)80021-0_bib88","series-title":"Proceedings of CP-AI-OR","article-title":"Symmetry and Search in a Network Design Problem","author":"Smith","year":"2005"},{"key":"10.1016\/S1574-6526(06)80021-0_bib89","series-title":"Frontiers in Combining Systems","article-title":"Membership-constraints and complexity in logic programming with sets","author":"Stolzenburg","year":"1996"},{"article-title":"Constraint Satisfaction in Logic Programming","year":"1989","author":"Van Hentenryck","key":"10.1016\/S1574-6526(06)80021-0_bib90"},{"year":"1999","series-title":"The OPL Optimization Programming Language","author":"Van Hentenryck","key":"10.1016\/S1574-6526(06)80021-0_bib91"},{"key":"10.1016\/S1574-6526(06)80021-0_bib92","series-title":"Proceedings of ICLP","article-title":"CLP(\u03a3*): Constraint Logic Programming with Regular Sets","author":"Walinsky","year":"1989"},{"key":"10.1016\/S1574-6526(06)80021-0_bib93","series-title":"Proceedings of CP","article-title":"Consistency and Propagation with Multiset Constraints: A Formal Viewpoint","author":"Walsh","year":"2003"},{"key":"10.1016\/S1574-6526(06)80021-0_bib53","series-title":"Proceedings of CADE","article-title":"NP-completeness of the set unification and matching problems","author":"Kapur","year":"1986"},{"key":"10.1016\/S1574-6526(06)80021-0_bib64","article-title":"Topics on Steiner Systems","volume":"volume 7","author":"Lindner","year":"1980","journal-title":"Annals of Discrete Mathematics"},{"key":"10.1016\/S1574-6526(06)80021-0_bib73","article-title":"The Complexity of Logic Programming with Sets","author":"Perry","year":"1986","journal-title":"Computer Science"}],"container-title":["Foundations of Artificial Intelligence","Handbook of Constraint Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652606800210?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652606800210?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T02:52:10Z","timestamp":1761619930000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1574652606800210"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9780444527264"],"references-count":92,"URL":"https:\/\/doi.org\/10.1016\/s1574-6526(06)80021-0","relation":{},"ISSN":["1574-6526"],"issn-type":[{"type":"print","value":"1574-6526"}],"subject":[],"published":{"date-parts":[[2006]]}}}