{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T23:04:39Z","timestamp":1769814279851,"version":"3.49.0"},"reference-count":50,"publisher":"Elsevier","isbn-type":[{"value":"9780444527264","type":"print"}],"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)80015-5","type":"book-chapter","created":{"date-parts":[[2008,2,26]],"date-time":"2008-02-26T16:51:39Z","timestamp":1204044699000},"page":"377-406","source":"Crossref","is-referenced-by-count":18,"title":["Modelling"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S1574-6526(06)80015-5_bib1","series-title":"Proceedings AAAI'98","first-page":"311","article-title":"On the Conversion Between Non-Binary and Binary Constraint Satisfaction Problems","author":"Bacchus","year":"1998"},{"key":"10.1016\/S1574-6526(06)80015-5_bib2","series-title":"Proceedings of the 14th Canadian Conference on Artificial Intelligence","first-page":"78","article-title":"Constraint programming lessons learned from crossword puzzles","author":"Beacham","year":"2001"},{"key":"10.1016\/S1574-6526(06)80015-5_bib3","article-title":"Global constraints as graph properties on structured network of elementary constraints of the same type","author":"Beldiceanu","year":"2000","journal-title":"Technical Report Technical Report T2000\/01, SICS"},{"key":"10.1016\/S1574-6526(06)80015-5_bib4","series-title":"Proceedings CP'99","first-page":"103","article-title":"Enforcing arc consistency on global constraints by solving subproblems on the fly","author":"Bessi\u00e8re","year":"1999"},{"key":"10.1016\/S1574-6526(06)80015-5_bib5","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1023\/A:1011432307724","article-title":"A Context for Constraint Satisfaction Problem Formulation Selection","volume":"6","author":"Borrett","year":"2001","journal-title":"Constraints"},{"key":"10.1016\/S1574-6526(06)80015-5_bib6","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1023\/A:1009894810205","article-title":"Increasing constraint propagation by redundant modeling: an experience report","volume":"4","author":"Cheng","year":"1999","journal-title":"Constraints"},{"key":"10.1016\/S1574-6526(06)80015-5_bib7","doi-asserted-by":"crossref","DOI":"10.1007\/s10601-006-8058-9","article-title":"Applying Ad-hoc Global Constraints with the case Constraint to Still-Life","volume":"11","author":"Cheng","year":"2006","journal-title":"Constraints"},{"key":"10.1016\/S1574-6526(06)80015-5_bib8","series-title":"ACM Transactions on Computational Logic","article-title":"Removing Propagation Redundant Constraints in Redundant Modeling","author":"Choi","year":"2006"},{"key":"10.1016\/S1574-6526(06)80015-5_bib9","series-title":"Proceedings ECAI-88","first-page":"290","article-title":"Solving the car-sequencing problem in constraint logic programming","author":"Dincbas","year":"1988"},{"key":"10.1016\/S1574-6526(06)80015-5_bib10","series-title":"Principles and Practice of Constraint Programming \u2014 CP 2003","first-page":"288","article-title":"Redundant Modeling for the QuasiGroup Completion Problem","author":"Dot\u00fa","year":"2003"},{"key":"10.1016\/S1574-6526(06)80015-5_bib11","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1023\/A:1009816801567","article-title":"A comparative study of eight constraint programming languages over the Boolean and finite domains","volume":"5","author":"Fern\u00e1ndez","year":"2000","journal-title":"Constraints"},{"key":"10.1016\/S1574-6526(06)80015-5_bib12","series-title":"Proceedings of the International Workshop on Reformulating Constraint Satisfaction Problems \u2014 Towards Systematisation and Automation","article-title":"Matrix Modelling: Exploiting Common Patterns in Constraint Programming","author":"Flener","year":"2002"},{"key":"10.1016\/S1574-6526(06)80015-5_bib13","series-title":"LOPSTR'03: Revised Selected Papers","first-page":"214","article-title":"Introducing ESRA, a relational language for modelling combinatorial problems","author":"Flener","year":"2004"},{"key":"10.1016\/S1574-6526(06)80015-5_bib14","series-title":"Proceedings PACLP99, the 1st International Conference on the Practical Applications of Constraint Technologies and Logic Programming","first-page":"15","article-title":"Modeling: The Final Frontier","author":"Freuder","year":"1999"},{"key":"10.1016\/S1574-6526(06)80015-5_bib15","series-title":"Proceedings of ECAI 2004","first-page":"171","article-title":"Symmetry-breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern","author":"Frisch","year":"2004"},{"key":"10.1016\/S1574-6526(06)80015-5_bib16","series-title":"Abstraction, Reformulation and Approximation, 6th International Symposium, Proceedings SARA 2005","first-page":"76","article-title":"Transforming and Refining Abstract Constraint Specifications","author":"Frisch","year":"2005"},{"key":"10.1016\/S1574-6526(06)80015-5_bib17","series-title":"Proceedings IJCAI05","first-page":"311","article-title":"The Rules of Constraint Modelling","author":"Frisch","year":"2005"},{"key":"10.1016\/S1574-6526(06)80015-5_bib18","series-title":"Proceedings of Calculemus-01","first-page":"130","article-title":"Extensions to proof planning for generating implied constraints","author":"Frisch","year":"2001"},{"key":"10.1016\/S1574-6526(06)80015-5_bib19","series-title":"Proceedings ECAI'92","first-page":"31","article-title":"Dual Viewpoint Heuristics for Binary Constraint Satisfaction Problems","author":"Geelen","year":"1992"},{"key":"10.1016\/S1574-6526(06)80015-5_bib20","article-title":"Search in the Patience Game \u2018Black Hole\u2019","author":"Gent","year":"2005"},{"key":"10.1016\/S1574-6526(06)80015-5_bib21","series-title":"Proceedings of AAAI'97","first-page":"302","article-title":"Effective Redundant Constraints for Online Scheduling","author":"Getoor","year":"1997"},{"key":"10.1016\/S1574-6526(06)80015-5_bib22","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1023\/A:1022323717928","article-title":"Improving Linear Constraint Propagation by Changing Constraint Representation","volume":"8","author":"Harvey","year":"2003","journal-title":"Constraints"},{"key":"10.1016\/S1574-6526(06)80015-5_bib23","series-title":"Proceedings of Workshop on Constraint Programming Applications","article-title":"Don't Be Puzzled!","author":"Henz","year":"1996"},{"key":"10.1016\/S1574-6526(06)80015-5_bib24","article-title":"Function Variables for Constraint Programming","author":"Hnich","year":"2003","journal-title":"PhD thesis, University of Uppsala"},{"key":"10.1016\/S1574-6526(06)80015-5_bib25","series-title":"Recent Advances in Constraints, Joint ERCIM\/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Revised Selected and Invited Papers","first-page":"172","article-title":"Constraint-Based Approaches to the Covering Test Problem","author":"Hnich","year":"2005"},{"key":"10.1016\/S1574-6526(06)80015-5_bib26","article-title":"Towards Automatic Generation and Evaluation of Implied Constraints","author":"Hnich","year":"2003"},{"key":"10.1016\/S1574-6526(06)80015-5_bib27","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1613\/jair.1351","article-title":"Dual Models of Permutation and Injection Problems","volume":"21","author":"Hnich","year":"2004","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10.1016\/S1574-6526(06)80015-5_bib28","series-title":"Principles and Practice of Constraint Programming \u2014 CP 2001","first-page":"610","article-title":"GAC on conjunctions of constraints","author":"Katsirelos","year":"2001"},{"key":"10.1016\/S1574-6526(06)80015-5_bib29","series-title":"Proceedings of the 18th National Conference on Artificial Intelligence (AAAI-2002)","first-page":"54","article-title":"Model Induction: a New Source of CSP Model Redundancy","author":"Law","year":"2002"},{"key":"10.1016\/S1574-6526(06)80015-5_bib30","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/64.54670","article-title":"Representation Selection for Constraint Satisfaction: A Case Study Using n-Queens","volume":"5","author":"Nadel","year":"1990","journal-title":"IEEE Expert"},{"key":"10.1016\/S1574-6526(06)80015-5_bib31","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-45193-8_81","article-title":"Symmetry Breaking in Graceful Graphs","author":"Petrie","year":"2003"},{"key":"10.1016\/S1574-6526(06)80015-5_bib32","series-title":"Fourth International Workshop on Symmetry and Constraint Satisfaction Problems","article-title":"Exploiting dominance in three symmetric problems","author":"Prestwich","year":"2004"},{"key":"10.1016\/S1574-6526(06)80015-5_bib33","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1287\/ijoc.10.3.265","article-title":"ILP and Constraint Programming Approaches to a Template Design Problem","volume":"10","author":"Proll","year":"1998","journal-title":"INFORMS Journal on Computing"},{"key":"10.1016\/S1574-6526(06)80015-5_bib34","series-title":"Principles and Practice of Constraint Programming \u2014 CP 2004","first-page":"5","article-title":"Constraint programming next challenge: Simplicity of use","author":"Puget","year":"2004"},{"key":"10.1016\/S1574-6526(06)80015-5_bib35","series-title":"Principles and Practice of Constraint Programming \u2014 CP97","first-page":"32","article-title":"A Filtering Algorithm for Global Sequencing Constraints","author":"R\u00e9gin","year":"1997"},{"key":"10.1016\/S1574-6526(06)80015-5_bib36","series-title":"Proceedings of ECAI-90","first-page":"550","article-title":"On the Equivalence of Constraint Satisfaction Problems","author":"Rossi","year":"1990"},{"key":"10.1016\/S1574-6526(06)80015-5_bib37","series-title":"Tutorial presented at the PACT 2000 conference","article-title":"Finite Domain Constraint Programming Methodology","author":"Simonis","year":"2000"},{"key":"10.1016\/S1574-6526(06)80015-5_bib38","series-title":"Analysis and Visualization Tools for Constraint Programming","first-page":"321","article-title":"Using Constraint Visualisation Tools","author":"Simonis","year":"2000"},{"key":"10.1016\/S1574-6526(06)80015-5_bib39","series-title":"Proceedings PACT97, 3rd International Conference","first-page":"321","article-title":"Succeed-first or Fail-first: A Case Study in Variable and Value Ordering Heuristics","author":"Smith","year":"1997"},{"key":"10.1016\/S1574-6526(06)80015-5_bib40","article-title":"Modelling a Permutation Problem","author":"Smith","year":"2000"},{"key":"10.1016\/S1574-6526(06)80015-5_bib41","series-title":"Proceedings of CP-AI-OR'01, the International Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","article-title":"Reducing Symmetry in a Combinatorial Design Problem","author":"Smith","year":"2001"},{"key":"10.1016\/S1574-6526(06)80015-5_bib42","series-title":"Principles and Practice of Constraint Programming \u2014 CP 2002","first-page":"402","article-title":"A Dual Graph Representation of a Problem in \u2018Life\u2019","author":"Smith","year":"2002"},{"key":"10.1016\/S1574-6526(06)80015-5_bib43","series-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Proceedings of CPAIOR 2005 (2nd International Conference)","first-page":"336","article-title":"Symmetry and Search in a Network Design Problem","author":"Smith","year":"2005"},{"key":"10.1016\/S1574-6526(06)80015-5_bib44","series-title":"Proceedings AAAI-2000 (Conference of the American Assocation for Artificial Intelligence)","first-page":"182","article-title":"Using auxiliary variables and implied constraints to model non-binary problems","author":"Smith","year":"2000"},{"key":"10.1016\/S1574-6526(06)80015-5_bib45","series-title":"Foundations of Constraint Satisfaction","author":"Tsang","year":"1993"},{"key":"10.1016\/S1574-6526(06)80015-5_bib46","series-title":"Principles and Practice of Constraint Programming \u2014 CP 2001","first-page":"625","article-title":"Fast optimal instruction scheduling for single-issue processors with arbitrary latencies","author":"van Beek","year":"2001"},{"key":"10.1016\/S1574-6526(06)80015-5_bib47","series-title":"Constraint Satisfaction in Logic Programming","author":"van Hentenryck","year":"1989"},{"key":"10.1016\/S1574-6526(06)80015-5_bib48","series-title":"Proceedings of the 8th International Conference on Logic Programming (ICLP-91)","first-page":"745","article-title":"The Cardinality Operator: A New Logical Connective and Its Application to Constraint Logic Programming","author":"van Hentenryck","year":"1991"},{"key":"10.1016\/S1574-6526(06)80015-5_bib49","series-title":"Proceedings CP'2000","first-page":"441","article-title":"SAT v CSP","author":"Walsh","year":"2000"},{"key":"10.1016\/S1574-6526(06)80015-5_bib50","series-title":"Principles and Practice of Constraint Programming \u2014 CP 2003","first-page":"53","article-title":"Constraint patterns","author":"Walsh","year":"2003"}],"container-title":["Foundations of Artificial Intelligence","Handbook of Constraint Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652606800155?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652606800155?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:14Z","timestamp":1761619934000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1574652606800155"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9780444527264"],"references-count":50,"URL":"https:\/\/doi.org\/10.1016\/s1574-6526(06)80015-5","relation":{},"ISSN":["1574-6526"],"issn-type":[{"value":"1574-6526","type":"print"}],"subject":[],"published":{"date-parts":[[2006]]}}}