{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T02:55:58Z","timestamp":1761620158590,"version":"build-2065373602"},"reference-count":119,"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)80017-9","type":"book-chapter","created":{"date-parts":[[2008,2,26]],"date-time":"2008-02-26T16:51:39Z","timestamp":1204044699000},"page":"453-494","source":"Crossref","is-referenced-by-count":4,"title":["Constraints in Procedural and Concurrent Languages"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S1574-6526(06)80017-9_bib1","series-title":"3rd International Conference on Principles and Practice of Constraint Programming","article-title":"Operational semantics and confluence of constraint propagation rules","author":"Abdennadher","year":"1997"},{"key":"10.1016\/S1574-6526(06)80017-9_bib2","series-title":"Fifth International Conference on Principles and Practice of Constraint Programming, CP99","article-title":"Operational equivalence of constraint handling rules","author":"Abdennadher","year":"1999"},{"key":"10.1016\/S1574-6526(06)80017-9_bib3","series-title":"4th International Conference on Principles and Practice of Constraint Programming, CP98","article-title":"On completion of constraint handling rules","author":"Abdennadher","year":"1998"},{"key":"10.1016\/S1574-6526(06)80017-9_bib4","series-title":"Logic Based Program Synthesis and Transformation \u2014 LOPSTR 2003, Revised Selected Papers","article-title":"Integration and optimization of rule-based constraint solvers","author":"Abdennadher","year":"2004"},{"issue":"4","key":"10.1016\/S1574-6526(06)80017-9_bib5","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1080\/088395100117016","article-title":"University course timetabling using Constraint Handling Rules","volume":"14","author":"Abdennadher","year":"2000","journal-title":"Journal of Applied Artificial Intelligence"},{"issue":"4\u20135","key":"10.1016\/S1574-6526(06)80017-9_bib6","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1017\/S1471068405002371","article-title":"Automatic generation of chr constraint solvers","volume":"5","author":"Abdennadher","year":"2005","journal-title":"Theory Pract. Log. Program."},{"key":"10.1016\/S1574-6526(06)80017-9_bib7","series-title":"6th International Conference on Algebraic and Logic Programming","article-title":"Model generation with existentially quantified variables and constraints","author":"Abdennadher","year":"1997"},{"key":"10.1016\/S1574-6526(06)80017-9_bib8","series-title":"Flexible Query Answering Systems","article-title":"CHRV: A flexible query language","author":"Abdennadher","year":"1998"},{"issue":"2","key":"10.1016\/S1574-6526(06)80017-9_bib9","first-page":"133","article-title":"Confluence and semantics of constraint simplification rules","volume":"4","author":"Abdennadher","year":"1999","journal-title":"Constraints Journal, Special Issue on the 2nd International Conference on Principles and Practice of Constraint Programming"},{"key":"10.1016\/S1574-6526(06)80017-9_bib10","article-title":"Jack: A java constraint kit","volume":"volume 64","author":"Abdennadher","year":"2000"},{"issue":"4\u20135","key":"10.1016\/S1574-6526(06)80017-9_bib11","article-title":"Editors, Special Issue on Constraint Handling Rules","volume":"5","author":"Abdennadher","year":"2005","journal-title":"Theory and Practice of Logic Programming (TPLP)"},{"key":"10.1016\/S1574-6526(06)80017-9_bib12","series-title":"7th International Conference on Logic programming (ICLP)","isbn-type":"print","first-page":"495","article-title":"Linear objects: logical processes with built-in inheritance","author":"Andreoli","year":"1990","ISBN":"https:\/\/id.crossref.org\/isbn\/0262730901"},{"year":"1993","series-title":"Concurrent Programming in Erlang","author":"Armstrong","key":"10.1016\/S1574-6526(06)80017-9_bib13"},{"year":"1998","series-title":"Term Rewriting and All That","author":"Baader","key":"10.1016\/S1574-6526(06)80017-9_bib14"},{"key":"10.1016\/S1574-6526(06)80017-9_bib15","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0167-739X(88)90012-X","article-title":"A parallel machine for multiset transformation and its programming style","volume":"4","author":"Banatre","year":"1988","journal-title":"Future Generation Computer Systems"},{"key":"10.1016\/S1574-6526(06)80017-9_bib16","series-title":"Constraint Programming: Basics and Trends","first-page":"1","article-title":"Interval constraint logic programming","author":"Benhamou","year":"1995"},{"issue":"1","key":"10.1016\/S1574-6526(06)80017-9_bib17","doi-asserted-by":"crossref","DOI":"10.1016\/S0743-1066(96)00142-2","article-title":"Applying interval arithmetic to real, integer, and boolean constraints","volume":"32","author":"Benhamou","year":"1997","journal-title":"The Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(06)80017-9_bib18","series-title":"11th Conference on Principles and Practice of Constraint Programming CP 2005","first-page":"137","article-title":"A linear-logic semantics for constraint handling rules","volume":"volume 3709","author":"Betz","year":"2005"},{"key":"10.1016\/S1574-6526(06)80017-9_bib19","article-title":"ELAN: A logical framework based on computational systems","volume":"volume ENTCS 4","author":"Borovansky","year":"2004"},{"key":"10.1016\/S1574-6526(06)80017-9_bib20","series-title":"Programming expert systems in OPS5: an introduction to rule-based programming","isbn-type":"print","author":"Brownston","year":"1985","ISBN":"https:\/\/id.crossref.org\/isbn\/0201106477"},{"key":"10.1016\/S1574-6526(06)80017-9_bib21","series-title":"Proc. of DOOD'93","article-title":"A Deductive and Object-Oriented Approach to a Complex Scheduling Problem","author":"Caseau","year":"1989"},{"issue":"6","key":"10.1016\/S1574-6526(06)80017-9_bib22","doi-asserted-by":"crossref","first-page":"769","DOI":"10.1017\/S1471068401001363","article-title":"Claire: combining sets, search and rules to better express algorithms","volume":"2","author":"Caseau","year":"2002","journal-title":"Theory Pract. Log. Program."},{"article-title":"A type-safe embedding of constraint handling rules into haskell","year":"2003","author":"Chin","key":"10.1016\/S1574-6526(06)80017-9_bib23"},{"issue":"2","key":"10.1016\/S1574-6526(06)80017-9_bib24","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","article-title":"Maude: specification and programming in rewriting logic","volume":"285","author":"Clavel","year":"2002","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"10.1016\/S1574-6526(06)80017-9_bib25","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0743-1066(95)00121-2","article-title":"Compiling constraints in clp(FD)","volume":"27","author":"Codognet","year":"1996","journal-title":"Journal of Logic Programming"},{"journal-title":"Dash Optimization White Paper","article-title":"Mosel: An Overview","year":"2004","key":"10.1016\/S1574-6526(06)80017-9_bib26"},{"key":"10.1016\/S1574-6526(06)80017-9_bib27","series-title":"PPDP '05: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming","isbn-type":"print","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1145\/1069774.1069794","article-title":"A compositional semantics for chr","author":"Delzanno","year":"2005","ISBN":"https:\/\/id.crossref.org\/isbn\/1595930906"},{"key":"10.1016\/S1574-6526(06)80017-9_bib28","series-title":"Proceedings of the Tenth International Conference on Logic Programming (ICLP-93)","first-page":"774","article-title":"A minimal extension of the WAM for CLP (FD)","author":"Diaz","year":"1993"},{"key":"10.1016\/S1574-6526(06)80017-9_bib29","series-title":"International Conference on Fifth Generation Computer Systems","first-page":"693","article-title":"The constraint logic programming language CHIP","author":"Dincbas","year":"1988"},{"key":"10.1016\/S1574-6526(06)80017-9_bib30","series-title":"PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming","isbn-type":"print","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1145\/888251.888260","article-title":"Extending arbitrary solvers with constraint handling rules","author":"Duck","year":"2003","ISBN":"https:\/\/id.crossref.org\/isbn\/1581137052"},{"key":"10.1016\/S1574-6526(06)80017-9_bib31","first-page":"49","article-title":"Sound and decidable type inference for functional dependencies","author":"Duck","year":"2004","journal-title":"ESOP"},{"key":"10.1016\/S1574-6526(06)80017-9_bib32","series-title":"20th International Conference on Logic Programming (ICLP)","article-title":"The Refined Operational Semantics of Constraint Handling Rules","author":"Duck","year":"2004"},{"key":"10.1016\/S1574-6526(06)80017-9_bib33","unstructured":"R. Fourer, K. Martin, and J. Ma. Modeling systems & optimization services. Book in preparation."},{"year":"1993","series-title":"AMPL: A Modeling Language for Mathematical Programming","author":"Fourer","key":"10.1016\/S1574-6526(06)80017-9_bib34"},{"issue":"1\u20133","key":"10.1016\/S1574-6526(06)80017-9_bib35","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","article-title":"Theory and Practice of Constraint Handling Rules, Special Issue on Constraint Logic Programming","volume":"37","author":"Fr\u00fchwirth","year":"1998","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(06)80017-9_bib36","series-title":"8th International Conference on Principles of Knowledge Representation and Reasoning","article-title":"As Time Goes By: Automatic Complexity Analysis of Simplification Rules","author":"Fr\u00fchwirth","year":"2002"},{"key":"10.1016\/S1574-6526(06)80017-9_bib37","series-title":"New Trends in Constraints","article-title":"Proving termination of constraint solver programs","author":"Fr\u00fchwirth","year":"2000"},{"key":"10.1016\/S1574-6526(06)80017-9_bib38","series-title":"Special Issue of Archives of Control Sciences (ACS) on Constraint Programming for Decision and Control","article-title":"Constraint systems and solvers for constraint programming","author":"Fr\u00fchwirth","year":"2006"},{"key":"10.1016\/S1574-6526(06)80017-9_bib39","series-title":"Constraint Programming: Basics and Trends","article-title":"Constraint handling rules","author":"Fr\u00fchwirth","year":"1995"},{"key":"10.1016\/S1574-6526(06)80017-9_bib40","series-title":"Recent Advances in Constraints, CSCLP 2005","article-title":"Complete propagation rules for lexicographic order constraints over arbitrary domains","author":"Fr\u00fchwirth","year":"2006"},{"key":"10.1016\/S1574-6526(06)80017-9_bib41","series-title":"Logic Programming: 21st International Conference, ICLP 2005","first-page":"113","article-title":"Parallelizing union-find in constraint handling rules using confluence","volume":"volume 3668","author":"Fr\u00fchwirth","year":"2005"},{"year":"2003","series-title":"Essentials of Constraint Programming","author":"Fr\u00fchwirth","key":"10.1016\/S1574-6526(06)80017-9_bib42"},{"key":"10.1016\/S1574-6526(06)80017-9_bib43","series-title":"International Joint Conference on Automated Reasoning","first-page":"514","article-title":"A new meta-complexity theorem for bottom-up logic programs","author":"Ganzinger","year":"2001"},{"year":"2005","series-title":"Gecode (generic constraint development environment)","key":"10.1016\/S1574-6526(06)80017-9_bib44"},{"key":"10.1016\/S1574-6526(06)80017-9_bib45","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","article-title":"Linear logic: Its syntax and semantics","volume":"50","author":"Girard","year":"1987","journal-title":"Theoretical Computer Science"},{"year":"2002","series-title":"Applications of Optimization with XpressMP","author":"Gu\u00e9ret","key":"10.1016\/S1574-6526(06)80017-9_bib46"},{"key":"10.1016\/S1574-6526(06)80017-9_bib47","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1016\/0167-739X(92)90072-J","article-title":"Structural operational semantics for AKL","volume":"8","author":"Haridi","year":"1992","journal-title":"Future Generation Computer Systems"},{"issue":"3","key":"10.1016\/S1574-6526(06)80017-9_bib48","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/BF03037481","article-title":"Programming languages for distributed applications","volume":"16","author":"Haridi","year":"1998","journal-title":"New Generation Computing"},{"issue":"3","key":"10.1016\/S1574-6526(06)80017-9_bib49","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1145\/319301.319347","article-title":"Efficient logic variables for distributed computing","volume":"21","author":"Haridi","year":"1999","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1574-6526(06)80017-9_bib50","series-title":"Proceedings of the 14th International Joint Conference on Artificial Intelligence","article-title":"Limited Discrepancy Search","author":"Harvey","year":"1995"},{"key":"10.1016\/S1574-6526(06)80017-9_bib51","article-title":"Objects for Concurrent Constraint Programming","volume":"volume 426","author":"Henz","year":"1997"},{"key":"10.1016\/S1574-6526(06)80017-9_bib52","article-title":"Oz\u2014A programming language for multi-agent systems","volume":"volume 1","author":"Henz","year":"1993"},{"key":"10.1016\/S1574-6526(06)80017-9_bib54","series-title":"Parallelism and Implementation Technology for (Constraint) Logic Programming","first-page":"86","article-title":"Figaro: Yet another constraint programming library","author":"Henz","year":"1999"},{"year":"1998","series-title":"Constraint Handling Rules Reference Manual for Sicstus Prolog, Vienna, Austria","author":"Holzbaur","key":"10.1016\/S1574-6526(06)80017-9_bib55"},{"year":"1998","key":"10.1016\/S1574-6526(06)80017-9_bib56"},{"year":"2000","key":"10.1016\/S1574-6526(06)80017-9_bib57"},{"year":"1998","key":"10.1016\/S1574-6526(06)80017-9_bib58"},{"key":"10.1016\/S1574-6526(06)80017-9_bib59","series-title":"Constraint Programming: Basics and Trends","article-title":"Linear constraint solving in clp-languages","author":"Imbert","year":"1995"},{"key":"10.1016\/S1574-6526(06)80017-9_bib60","article-title":"AKL \u2014 A Multiparadigm Programming Language","author":"Janson","year":"1994","journal-title":"PhD thesis, SICS Swedish Institute of Computer Science, SICS Box 1263, S-164 28 Kista, Sweden"},{"key":"10.1016\/S1574-6526(06)80017-9_bib61","series-title":"Logic Programming, Proceedings of the 1991 International Symposium","first-page":"167","article-title":"Programming paradigms of the Andorra kernel language","author":"Janson","year":"1991"},{"key":"10.1016\/S1574-6526(06)80017-9_bib62","series-title":"Research Directions in Concurrent Object-Oriented Programming","article-title":"Ports for objects","author":"Janson","year":"1993"},{"key":"10.1016\/S1574-6526(06)80017-9_bib63","series-title":"Fourth International Conference on the Principles and Practice of Constraint Programming (CP'98)","article-title":"SALSA: A Language for Search Algorithms","author":"Laburthe","year":"1998"},{"key":"10.1016\/S1574-6526(06)80017-9_bib64","series-title":"Constraint programming languages: their specification and generation","isbn-type":"print","author":"Leler","year":"1988","ISBN":"https:\/\/id.crossref.org\/isbn\/0201062437"},{"key":"10.1016\/S1574-6526(06)80017-9_bib65","series-title":"4th International Conference on Logic Programming","first-page":"858","article-title":"Logic semantics for a class of committed-choice programs","author":"Maher","year":"1987"},{"year":"1998","series-title":"Programming with Constraints: An Introduction","author":"Marriott","key":"10.1016\/S1574-6526(06)80017-9_bib66"},{"key":"10.1016\/S1574-6526(06)80017-9_bib67","series-title":"Second Workshop on Constraint Handling Rules, at ICLP05","article-title":"A High Performance CHRv Execution Engine","author":"Menezes","year":"2005"},{"key":"10.1016\/S1574-6526(06)80017-9_bib68","series-title":"Constraint Logic Programming: Selected Research","first-page":"253","article-title":"A study on boolean constraint solvers","author":"Menju","year":"1993"},{"issue":"1","key":"10.1016\/S1574-6526(06)80017-9_bib69","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","article-title":"Conditional rewriting logic as a unified model of concurrency","volume":"96","author":"Meseguer","year":"1992","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/S1574-6526(06)80017-9_bib70","series-title":"Proceedings of the 15th International Joint Conference on Artificial Intelligence","article-title":"Interleaved Depth-First Search","author":"Meseguer","year":"1997"},{"key":"10.1016\/S1574-6526(06)80017-9_bib71","series-title":"Conference on Object-Oriented Programming Systems, Languages, and Applications","first-page":"101","article-title":"A Constraint-Based Architecture for Local Search","author":"Michel","year":"2002"},{"key":"10.1016\/S1574-6526(06)80017-9_bib72","article-title":"A Modeling Layer for Constraint-Programming Libraries","author":"Michel","year":"2004","journal-title":"INFORMS Journal of Computing"},{"key":"10.1016\/S1574-6526(06)80017-9_bib73","series-title":"CPAIOR'05: Proceedings of the 2nd International Conference on the Integration of Constraint Programming, Artificial Intelligence and Operations Research\u201d","first-page":"1","article-title":"Non-deterministic control for hybrid search","author":"Michel","year":"2005"},{"key":"10.1016\/S1574-6526(06)80017-9_bib74","series-title":"8th European Conference on Artificial Intelligence","first-page":"651","article-title":"Good old discrete relaxation","author":"Mohr","year":"1988"},{"key":"10.1016\/S1574-6526(06)80017-9_bib75","article-title":"Exploiting Fine-grain Parallelism in Concurrent Constraint Languages","author":"Montelius","year":"1997","journal-title":"PhD thesis, SICS Swedish Institute of Computer Science, SICS Box 1263, S-164 28 Kista, Sweden"},{"key":"10.1016\/S1574-6526(06)80017-9_bib76","article-title":"An And\/Or-parallel implementation of AKL","author":"Montelius","year":"1995","journal-title":"New Generation Computing"},{"year":"1999","series-title":"The Mozart programming system","author":"Consortium","key":"10.1016\/S1574-6526(06)80017-9_bib77"},{"key":"10.1016\/S1574-6526(06)80017-9_bib78","series-title":"CP '99: Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming","isbn-type":"print","first-page":"346","article-title":"Search procedures and parallelism in constraint programming","author":"Perron","year":"1999","ISBN":"https:\/\/id.crossref.org\/isbn\/3540666265"},{"key":"10.1016\/S1574-6526(06)80017-9_bib79","series-title":"Proceedings of SPICIS'94","article-title":"A C++ Implementation of CLP","author":"Puget","year":"1994"},{"key":"10.1016\/S1574-6526(06)80017-9_bib80","series-title":"Proceedings of the International Symposium on Logic Programming (ILPS-95)","first-page":"513","article-title":"Beyond the Glass Box: Constraints as Objects","author":"Puget","year":"1995"},{"year":"1993","series-title":"Concurrent Constraint Programming","author":"Saraswat","key":"10.1016\/S1574-6526(06)80017-9_bib81"},{"key":"10.1016\/S1574-6526(06)80017-9_bib82","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","article-title":"Concurrent Constraint Programming","author":"Saraswat","year":"1993"},{"key":"10.1016\/S1574-6526(06)80017-9_bib83","series-title":"POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages","isbn-type":"print","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1145\/96709.96733","article-title":"Concurrent constraint programming","author":"Saraswat","year":"1990","ISBN":"https:\/\/id.crossref.org\/isbn\/0897913434"},{"key":"10.1016\/S1574-6526(06)80017-9_bib84","series-title":"POPL '91: Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages","isbn-type":"print","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1145\/99583.99627","article-title":"The semantic foundations of concurrent constraint programming","author":"Saraswat","year":"1991","ISBN":"https:\/\/id.crossref.org\/isbn\/0897914198"},{"key":"10.1016\/S1574-6526(06)80017-9_bib85","article-title":"Analyses, optimizations and extensions of constraint handling rules","author":"Schrijvers","year":"2005","journal-title":"Ph.D. Thesis. Technical report, Department of Computer Science, K.U. Leuven, Belgium"},{"issue":"1","key":"10.1016\/S1574-6526(06)80017-9_bib86","article-title":"Optimal union-find in constraint handling rules, programming pearl","volume":"6","author":"Schrijvers","year":"2006","journal-title":"Theory and Practice of Logic Programming (TPLP)"},{"year":"2006","series-title":"CHR Website","author":"Schrijvers","key":"10.1016\/S1574-6526(06)80017-9_bib87"},{"key":"10.1016\/S1574-6526(06)80017-9_bib88","series-title":"6th International Workshop on Rule-Based Programming","article-title":"Automatic implication checking for chr constraints","author":"Schrijvers","year":"2005"},{"key":"10.1016\/S1574-6526(06)80017-9_bib89","series-title":"PPDP '05: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming","isbn-type":"print","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1145\/1069774.1069795","article-title":"Abstract interpretation for constraint handling rules","author":"Schrijvers","year":"2005","ISBN":"https:\/\/id.crossref.org\/isbn\/1595930906"},{"key":"10.1016\/S1574-6526(06)80017-9_bib90","first-page":"93","article-title":"Automatic Implication Checking for CHR Constraints","volume":"147","author":"Schrijvers","year":"2006"},{"key":"10.1016\/S1574-6526(06)80017-9_bib91","series-title":"Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000","first-page":"215","article-title":"Programming deep concurrent constraint combinators","volume":"volume 1753","author":"Schulte","year":"2000"},{"key":"10.1016\/S1574-6526(06)80017-9_bib92","series-title":"Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000","first-page":"41","article-title":"Parallel search made simple","author":"Schulte","year":"2000"},{"key":"10.1016\/S1574-6526(06)80017-9_bib93","article-title":"Programming Constraint Services","volume":"volume 2302","author":"Schulte","year":"2002"},{"key":"10.1016\/S1574-6526(06)80017-9_bib94","series-title":"Proceedings of the Fourteenth International Conference on Logic Programming","first-page":"286","article-title":"Oz Explorer: A visual constraint programming tool","author":"Schulte","year":"1997"},{"key":"10.1016\/S1574-6526(06)80017-9_bib95","series-title":"Proceedings of the Third International Conference on Principles and Practice of Constraint Programming","first-page":"519","article-title":"Programming constraint inference engines","volume":"volume 1330","author":"Schulte","year":"1997"},{"issue":"3","key":"10.1016\/S1574-6526(06)80017-9_bib96","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1145\/72551.72555","article-title":"The family of concurrent logic programming languages","volume":"21","author":"Shapiro","year":"1989","journal-title":"ACM Computing Surveys"},{"issue":"3","key":"10.1016\/S1574-6526(06)80017-9_bib97","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1145\/72551.72555","article-title":"The family of concurrent logic programming languages","volume":"21","author":"Shapiro","year":"1989","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S1574-6526(06)80017-9_bib98","article-title":"A language for optimizing constraint propagation","author":"Sidebottom","year":"1993","journal-title":"Ph.D. Thesis. Technical report, Simon Fraser University, Canada"},{"key":"10.1016\/S1574-6526(06)80017-9_bib99","series-title":"Computer Science Today","article-title":"The Oz programming model","author":"Smolka","year":"1995"},{"key":"10.1016\/S1574-6526(06)80017-9_bib100","series-title":"1st International Conference on Constraints in Computational Logics","first-page":"50","article-title":"A foundation for higher-order concurrent constraint programming","volume":"volume 845","author":"Smolka","year":"1994"},{"key":"10.1016\/S1574-6526(06)80017-9_bib101","series-title":"Computer Science Today","first-page":"324","article-title":"The Oz programming model","volume":"volume 1000","author":"Smolka","year":"1995"},{"key":"10.1016\/S1574-6526(06)80017-9_bib102","series-title":"Second Workshop on Constraint Handling Rules, at ICLP05","article-title":"The Computational Power and Complexity of Constraint Handling Rules","author":"Sneyers","year":"2005"},{"key":"10.1016\/S1574-6526(06)80017-9_bib103","series-title":"Concurrent Prolog","isbn-type":"print","first-page":"140","article-title":"Guarded horn clauses","author":"Ueda","year":"1988","ISBN":"https:\/\/id.crossref.org\/isbn\/0262192551"},{"issue":"4","key":"10.1016\/S1574-6526(06)80017-9_bib104","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1287\/ijoc.14.4.345.2826","article-title":"Constraint and Integer Programming in OPL","volume":"14","author":"Van Hentenryck","year":"2002","journal-title":"Informs Journal on Computing"},{"year":"1999","series-title":"The OPL Optimization Programming Language","author":"Van Hentenryck","key":"10.1016\/S1574-6526(06)80017-9_bib105"},{"key":"10.1016\/S1574-6526(06)80017-9_bib106","series-title":"Proceedings of the Second International Conference on the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (CP-AI-OR'04)","article-title":"Nondeterministic Control For Hybrid Search","author":"Van Hentenryck","year":"2005"},{"year":"2005","series-title":"Constraint-Based Local Search","author":"Van Hentenryck","key":"10.1016\/S1574-6526(06)80017-9_bib107"},{"article-title":"New Trends in Constraints, chapter OPL Script: Composing and Controlling Models","year":"2000","author":"Van Hentenryck","key":"10.1016\/S1574-6526(06)80017-9_bib108"},{"key":"10.1016\/S1574-6526(06)80017-9_bib109","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0004-3702(92)90020-X","article-title":"A generic arc-consistency algorithm and its specializations","volume":"57","author":"van Hentenryck","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(06)80017-9_bib110","series-title":"Constraint Programming: Basics and Trends","article-title":"Constraint processing in cc(FD)","author":"van Hentenryck","year":"1995"},{"year":"1997","series-title":"Numerica: a Modeling Language for Global Optimization","author":"Van Hentenryck","key":"10.1016\/S1574-6526(06)80017-9_bib111"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(06)80017-9_bib112","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/S0167-6423(97)00008-7","article-title":"Newton: Constraint programming over nonlinear constraints","volume":"30","author":"Van Hentenryck","year":"1998","journal-title":"Sci. Comput. Program"},{"issue":"2","key":"10.1016\/S1574-6526(06)80017-9_bib113","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/359496.359529","article-title":"Search and Strategies in OPL","volume":"1","author":"Van Hentenryck","year":"2000","journal-title":"ACM Transactions on Computational Logic"},{"year":"2003","series-title":"Modeling Languages in Mathematical Optimization, chapter The OPL Studio Modeling System","author":"Van Hentenryck","key":"10.1016\/S1574-6526(06)80017-9_bib114"},{"year":"2004","series-title":"Concepts, Techniques, and Models of Computer Programming","author":"Van Roy","key":"10.1016\/S1574-6526(06)80017-9_bib115"},{"issue":"5","key":"10.1016\/S1574-6526(06)80017-9_bib116","doi-asserted-by":"crossref","first-page":"804","DOI":"10.1145\/265943.265972","article-title":"Mobile objects in Distributed Oz","volume":"19","author":"Van Roy","year":"1997","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"6","key":"10.1016\/S1574-6526(06)80017-9_bib117","doi-asserted-by":"crossref","first-page":"715","DOI":"10.1017\/S1471068403001741","article-title":"Logic programming in the context of multiparadigm programming: the Oz experience","volume":"3","author":"Van Roy","year":"2003","journal-title":"Theory and Practice of Logic Programming"},{"key":"10.1016\/S1574-6526(06)80017-9_bib118","series-title":"Second Workshop on Constraint Handling Rules, at ICLP05","article-title":"The K.U. Leuven JCHR System","author":"Weert","year":"2005"},{"key":"10.1016\/S1574-6526(06)80017-9_bib119","series-title":"7th International Conference on Principles and Practice of Constraint Programming (CP 2001)","article-title":"Adaptive Constraint Handling with CHR in Java","author":"Wolf","year":"2001"},{"key":"10.1016\/S1574-6526(06)80017-9_bib53","series-title":"Principles and Practice of Constraint Programming","first-page":"29","article-title":"Object-oriented concurrent constraint programming in Oz","author":"Henz","year":"1995"}],"container-title":["Foundations of Artificial Intelligence","Handbook of Constraint Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652606800179?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652606800179?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:51:56Z","timestamp":1761619916000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1574652606800179"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9780444527264"],"references-count":119,"URL":"https:\/\/doi.org\/10.1016\/s1574-6526(06)80017-9","relation":{},"ISSN":["1574-6526"],"issn-type":[{"type":"print","value":"1574-6526"}],"subject":[],"published":{"date-parts":[[2006]]}}}