{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T00:01:22Z","timestamp":1783468882856,"version":"3.55.0"},"reference-count":118,"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)80016-7","type":"book-chapter","created":{"date-parts":[[2008,2,26]],"date-time":"2008-02-26T16:51:39Z","timestamp":1204044699000},"page":"409-452","source":"Crossref","is-referenced-by-count":10,"title":["Constraint Logic Programming"],"prefix":"10.1016","member":"78","reference":[{"issue":"2","key":"10.1016\/S1574-6526(06)80016-7_bib1","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1142\/S0218213002000903","article-title":"Automatic generation of rule-based solvers for intentionally defined constraints","volume":"11","author":"Abdennadher","year":"2002","journal-title":"International Journal of Artificial Intelligence Tools"},{"key":"10.1016\/S1574-6526(06)80016-7_bib2","series-title":"Proc. JFPL","article-title":"Extending CHIP in order to solve complex scheduling problems","author":"Aggoun","year":"1992"},{"key":"10.1016\/S1574-6526(06)80016-7_bib3","series-title":"Proceedings of the International Conference on Fifth Generation Computer Systems","first-page":"263","article-title":"Constraint logic programming language CAL","author":"Aiba","year":"1988"},{"key":"10.1016\/S1574-6526(06)80016-7_bib4","article-title":"LIFE: A natural language for natural language","author":"A\u00eft-Kaci","year":"1988","journal-title":"Technical Report ACA-ST-074-88, MCC"},{"issue":"3","key":"10.1016\/S1574-6526(06)80016-7_bib5","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/0743-1066(86)90013-0","article-title":"LOGIN: A logic programming language with built-in inheritance","volume":"3","author":"A\u00eft-Kaci","year":"1986","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(06)80016-7_bib6","series-title":"Warren's Abstract Machine: A Tutorial reconstruction","author":"A\u00eft-Kaci","year":"1991"},{"key":"10.1016\/S1574-6526(06)80016-7_bib8","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","article-title":"Logic programming and negation: A survey","volume":"19\/20","author":"Apt","year":"1994","journal-title":"Journal of Logic Programming"},{"issue":"6","key":"10.1016\/S1574-6526(06)80016-7_bib9","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1017\/S1471068401000072","article-title":"Constraint programming viewed as rule-based programming","volume":"1","author":"Apt","year":"2001","journal-title":"Theory and Practice of Logic Programming"},{"key":"10.1016\/S1574-6526(06)80016-7_bib10","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","article-title":"Contributions to the theory of logic programming","volume":"29","author":"Apt","year":"1982","journal-title":"JACM"},{"key":"10.1016\/S1574-6526(06)80016-7_bib11","series-title":"TAPSOFT, Vol.2. Proceedings of the International Joint Conference on Theory and Practice of Software Development, volume 250 of Lecture Notes in Computer Science","first-page":"96","article-title":"Intensional negation of logic programs: Examples and implementation techniques","author":"Barbuti","year":"1987"},{"issue":"3","key":"10.1016\/S1574-6526(06)80016-7_bib12","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0743-1066(90)90023-X","article-title":"A transformational approach to negation in logic programming","volume":"8","author":"Barbuti","year":"1990","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(06)80016-7_bib13","series-title":"CP, volume 1894 of Lecture Notes in Computer Science","isbn-type":"print","first-page":"52","article-title":"Global constraints as graph properties on a structured network of elementary constraints of the same type","author":"Beldiceanu","year":"2000","ISBN":"https:\/\/id.crossref.org\/isbn\/3540410538"},{"key":"10.1016\/S1574-6526(06)80016-7_bib14","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0895-7177(94)90127-9","article-title":"Introducing global constraints in CHIP","volume":"12","author":"Beldiceanu","year":"1994","journal-title":"Mathematical and Computer Modelling"},{"key":"10.1016\/S1574-6526(06)80016-7_bib15","series-title":"Logic Programming: Formal Methods and Practical Applications","first-page":"245","article-title":"Combinatorial problem solving in constraint logic programming with cooperating solvers","author":"Beringer","year":"1995"},{"key":"10.1016\/S1574-6526(06)80016-7_bib16","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0004-3702(94)90027-2","article-title":"A resolution principle for constrained logics","volume":"66","author":"B\u00fcckert","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(06)80016-7_bib17","series-title":"Logic Programming \u2014 Proceedings of the Eleventh International Conference on Logic Programming","first-page":"339","article-title":"Entailment of finite domain constraints","author":"Carlson","year":"1996"},{"key":"10.1016\/S1574-6526(06)80016-7_bib18","series-title":"Proceedings of the Fourth International Conference on Logic Programming","first-page":"40","article-title":"Freeze, indexing, and other implementation issues in the WAM","author":"Carlsson","year":"1987"},{"key":"10.1016\/S1574-6526(06)80016-7_bib19","series-title":"Proceedings, 5th Int. Conf. and Symp. on Logic Programming","first-page":"111","article-title":"Constructive negation based on the completed database","author":"Chan","year":"1988"},{"key":"10.1016\/S1574-6526(06)80016-7_bib20","article-title":"ECLiPSe","author":"Cheadle","year":"2003"},{"key":"10.1016\/S1574-6526(06)80016-7_bib21","series-title":"Logic and Databases","first-page":"293","article-title":"Negation as failure","author":"Clark","year":"1978"},{"key":"10.1016\/S1574-6526(06)80016-7_bib22","series-title":"Proc. ACM Conference on Functional Languages and Computer Architecture","first-page":"171","article-title":"A relational language for parallel programming","author":"Clark","year":"1981"},{"key":"10.1016\/S1574-6526(06)80016-7_bib23","series-title":"Logic Programming","first-page":"122","article-title":"IC-Prolog \u2013 language feature","author":"Clark","year":"1982"},{"issue":"2","key":"10.1016\/S1574-6526(06)80016-7_bib24","first-page":"125","article-title":"Logical arithmetic","volume":"2","author":"Cleary","year":"1987","journal-title":"Future Computing Systems"},{"key":"10.1016\/S1574-6526(06)80016-7_bib25","article-title":"PROLOG II reference manual and theoretical model","author":"Colmerauer","year":"1982","journal-title":"Technical report, Groupe Intelligence Artificielle, Universit\u00e9 Aix \u2014 Marseille II"},{"issue":"9","key":"10.1016\/S1574-6526(06)80016-7_bib26","article-title":"Opening the PROLOG-III universe","volume":"12","author":"Colmerauer","year":"1987","journal-title":"BYTE Magazine"},{"key":"10.1016\/S1574-6526(06)80016-7_bib27","series-title":"Proceedings of the International Conference on Fifth Generation Computer Systems","first-page":"85","article-title":"Equations and inequations on finite and infinite trees","author":"Colmerauer","year":"1984"},{"key":"10.1016\/S1574-6526(06)80016-7_bib28","series-title":"Proceedings of the 2nd International Network Optimization Conference (INOC 2005)","first-page":"796","article-title":"Hybrid branch-and-price for multicast network design","author":"Cronholm","year":"2005"},{"key":"10.1016\/S1574-6526(06)80016-7_bib29","series-title":"Frontiers of Combining Systems 96\u2014First International Workshop","first-page":"339","article-title":"First-order constrained lambda calculus","author":"Crossley","year":"1996"},{"key":"10.1016\/S1574-6526(06)80016-7_bib30","series-title":"Fifth Generation Computer Systems","first-page":"682","article-title":"A new perspective on integrating functional and logic languages","author":"Darlington","year":"1992"},{"issue":"2","key":"10.1016\/S1574-6526(06)80016-7_bib31","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1145\/349214.349224","article-title":"Independence in CLP languages","volume":"22","author":"Garcia de la Banda","year":"2000","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1574-6526(06)80016-7_bib32","series-title":"Logic Programming: Relations, Functions, and Equations","year":"1985"},{"key":"10.1016\/S1574-6526(06)80016-7_bib33","series-title":"Logic Programming: Proceedings of the 10th International Conference","first-page":"774","article-title":"A minimal extension of the WAM for clp (FD)","author":"Diaz","year":"1993"},{"key":"10.1016\/S1574-6526(06)80016-7_bib34","series-title":"Proc. Second Int. Conf. Fifth Generation Computer Systems","first-page":"249","article-title":"The constraint logic programming language CHIP","author":"Dincbas","year":"1988"},{"key":"10.1016\/S1574-6526(06)80016-7_bib35","series-title":"A Mathematical Introduction to Logic","author":"Enderton","year":"1972"},{"issue":"2","key":"10.1016\/S1574-6526(06)80016-7_bib36","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S0743-1066(96)00092-1","article-title":"Constructive negation by pruning","volume":"32","author":"Fages","year":"1997","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"10.1016\/S1574-6526(06)80016-7_bib37","article-title":"REF-ARF: A system for solving problems stated as procedures","volume":"1","author":"Fikes","year":"1970","journal-title":"Artificial Intelligence Journal"},{"key":"10.1016\/S1574-6526(06)80016-7_bib38","series-title":"Machine Intelligence 4","article-title":"Absys1: An incremental compiler for assertions: An introduction","author":"Foster","year":"1969"},{"key":"10.1016\/S1574-6526(06)80016-7_bib39","series-title":"Proc. IEEE Int. Conf. Computer Languages","first-page":"174","article-title":"The design and implementation of Kaleidoscope'90: A constraint imperative programming language","author":"Freeman-Benson","year":"1992"},{"key":"10.1016\/S1574-6526(06)80016-7_bib40","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","article-title":"Theory and practice of constraint handling rules","volume":"37","author":"Fr\u00fchwirth","year":"1998","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(06)80016-7_bib41","series-title":"Constraint Programming: Basics and Trends","article-title":"Constraint simplification rules","volume":"volume 910","author":"Fr\u00fchwirth","year":"1995"},{"key":"10.1016\/S1574-6526(06)80016-7_bib42","series-title":"Proceedings of the Sixth International Symposium on Functional and Logic Programming","first-page":"47","article-title":"To the gates of HAL: a HAL tutorial","volume":"volume 2441","author":"Garc\u00eda de la Banda","year":"2002"},{"key":"10.1016\/S1574-6526(06)80016-7_bib44","series-title":"Logic Programming: Proceedings of the 1992 Joint International Conference and Symposium","first-page":"399","article-title":"jc: An efficient and portable implementation of Janus","author":"Gudeman","year":"1992"},{"key":"10.1016\/S1574-6526(06)80016-7_bib45","article-title":"Specification of Constraint Based Inference Mechanisms through Extended Unification","author":"Holzbaur","year":"1990","journal-title":"PhD thesis, Dept. of Medical Cybernetics & AI, University of Vienna"},{"key":"10.1016\/S1574-6526(06)80016-7_bib46","article-title":"Non-linear constraint solving over real numbers in constraint logic programming (introducing RISC-CLP)","author":"Hong","year":"1992","journal-title":"Technical Report 92-08, Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria"},{"key":"10.1016\/S1574-6526(06)80016-7_bib47","series-title":"Proceedings of the Conference on Programming Language Implementation and Logic Programming","first-page":"136","article-title":"A new data structure for implementing extensions to Prolog","author":"Le Huitouze","year":"1990"},{"key":"10.1016\/S1574-6526(06)80016-7_bib48","series-title":"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence","first-page":"193","article-title":"Constraint reasoning based on interval arithmetic","author":"Hyv\u00f6nen","year":"1989"},{"key":"10.1016\/S1574-6526(06)80016-7_bib49","series-title":"POPL","first-page":"111","article-title":"Constraint logic programming","author":"Jaffar","year":"1987"},{"key":"10.1016\/S1574-6526(06)80016-7_bib50","series-title":"Proceedings of the 14th ACM Symposium on Principles of Programming Languages","first-page":"111","article-title":"Constraint logic programming","author":"Jaffar","year":"1987"},{"key":"10.1016\/S1574-6526(06)80016-7_bib51","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","article-title":"Constraint logic programming: A survey","volume":"19\/20","author":"Jaffar","year":"1994","journal-title":"Journal of Logic Programming"},{"issue":"4","key":"10.1016\/S1574-6526(06)80016-7_bib52","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0304-3975(86)90027-7","article-title":"Semantics of infinite tree logic programming","volume":"42","author":"Jaffar","year":"1986","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1574-6526(06)80016-7_bib53","series-title":"Logic Programming: Relations, Functions and Equations","first-page":"441","article-title":"A logic programming language scheme","author":"Jaffar","year":"1986"},{"issue":"3","key":"10.1016\/S1574-6526(06)80016-7_bib54","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/129393.129398","article-title":"The CLP(R) language and system","volume":"14","author":"Jaffar","year":"1992","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1\u20133","key":"10.1016\/S1574-6526(06)80016-7_bib55","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0743-1066(98)10002-X","article-title":"The semantics of constraint logic programs","volume":"37","author":"Jaffar","year":"1998","journal-title":"Journal of Logic Programming"},{"issue":"6","key":"10.1016\/S1574-6526(06)80016-7_bib56","first-page":"719","article-title":"Abductive logic programming","volume":"2","author":"Kakas","year":"1992","journal-title":"Journal of Logic Programming"},{"issue":"1\u20133","key":"10.1016\/S1574-6526(06)80016-7_bib57","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/S0743-1066(99)00075-8","article-title":"Aclp: Abductive constraint logic programming","volume":"44","author":"Kakas","year":"2000","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"10.1016\/S1574-6526(06)80016-7_bib58","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1006\/jcss.1995.1051","article-title":"Constraint query languages","volume":"51","author":"Kanellakis","year":"1995","journal-title":"Journal of Computer and System Science"},{"key":"10.1016\/S1574-6526(06)80016-7_bib59","series-title":"Sixth Japanese Logic Programming Conference","first-page":"19","article-title":"CS-Prolog: A generalized unification based constraint solver","volume":"volume 319","author":"Kawamura","year":"1987"},{"key":"10.1016\/S1574-6526(06)80016-7_bib60","series-title":"Term Rewriting","first-page":"54","article-title":"Some extensions of rewriting","volume":"volume 909","author":"Kirchner","year":"1994"},{"key":"10.1016\/S1574-6526(06)80016-7_bib61","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","article-title":"Negation in logic programming","volume":"4","author":"Kunen","year":"1987","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(06)80016-7_bib62","doi-asserted-by":"crossref","first-page":"29","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"},{"issue":"3","key":"10.1016\/S1574-6526(06)80016-7_bib63","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0743-1066(93)90047-K","article-title":"Generalised constraint propagation over the CLP scheme","volume":"16","author":"Le Provost","year":"1993","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(06)80016-7_bib64","series-title":"Constraint Programming Languages: Their Specification and Generation","author":"Leler","year":"1988"},{"key":"10.1016\/S1574-6526(06)80016-7_bib65","series-title":"Introduction to answer set programming","author":"Lifschitz","year":"2004"},{"key":"10.1016\/S1574-6526(06)80016-7_bib66","series-title":"Logic Programming: Proceedings of the 4th International Conference","first-page":"858","article-title":"Logic semantics for a class of committed-choice programs","author":"Maher","year":"1987"},{"key":"10.1016\/S1574-6526(06)80016-7_bib67","series-title":"Programming with Constraints: an Introduction","author":"Marriott","year":"1998"},{"issue":"1\u20134","key":"10.1016\/S1574-6526(06)80016-7_bib68","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1145\/176454.176522","article-title":"Semantics of constraint logic programs with optimization","volume":"2","author":"Marriott","year":"1993","journal-title":"ACM Letters on Programming Languages and Systems"},{"key":"10.1016\/S1574-6526(06)80016-7_bib70","series-title":"ICLP","first-page":"223","article-title":"Perfect relaxation in constraint logic programming","author":"Montanari","year":"1991"},{"key":"10.1016\/S1574-6526(06)80016-7_bib72","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","article-title":"Inductive logic programming: Theory and methods","volume":"19\/20","author":"Muggleton","year":"1994","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(06)80016-7_bib73","article-title":"The MU-PROLOG 3.2db reference manual","author":"Naish","year":"1985","journal-title":"Technical report, Department of Computer Science, University of Melbourne, Victoria, Australia"},{"key":"10.1016\/S1574-6526(06)80016-7_bib74","series-title":"Metaprogramming in Logic (META'90)","article-title":"Extensible unification by metastructures","author":"Neumerkel","year":"1990"},{"issue":"1","key":"10.1016\/S1574-6526(06)80016-7_bib75","first-page":"35","article-title":"Type inference with constrained types","volume":"5","author":"Odesky","year":"1999","journal-title":"TAPOS"},{"key":"10.1016\/S1574-6526(06)80016-7_bib76","series-title":"Proceedings of the Canadian Conference on Electrical and Computer Engineering","first-page":"14.1.1","article-title":"Extending Prolog with constraint arithmetic on real intervals","author":"Older","year":"1990"},{"key":"10.1016\/S1574-6526(06)80016-7_bib77","series-title":"Constraint Logic Programming: Selected Research","first-page":"175","article-title":"Constraint arithmetic on real intervals","author":"Older","year":"1993"},{"key":"10.1016\/S1574-6526(06)80016-7_bib78","series-title":"Constraint Logic Programming: Selected research","article-title":"Constraint arithmetic on real intervals","author":"Older","year":"1993"},{"key":"10.1016\/S1574-6526(06)80016-7_bib79","series-title":"PPCP","first-page":"228","article-title":"Programming in CLP(BNR)","author":"Older","year":"1993"},{"key":"10.1016\/S1574-6526(06)80016-7_bib80","first-page":"55","article-title":"Charme: Un language industriel de programmation par contraintes, illustr\u00e9 par une application chez renault","volume":"Volume 1","author":"Oplobedu","year":"1989"},{"issue":"3","key":"10.1016\/S1574-6526(06)80016-7_bib81","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1002\/net.10110","article-title":"A hybrid multicommodity routing algorithm for traffic engineering","volume":"43","author":"Ouaja","year":"2004","journal-title":"Networks"},{"key":"10.1016\/S1574-6526(06)80016-7_bib82","series-title":"Learning and Reasoning with Complex Representations, PRI-CAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations","first-page":"133","article-title":"A framework for learning constraints: Preliminary report","volume":"volume 1359","author":"Padmanabhuni","year":"1998"},{"key":"10.1016\/S1574-6526(06)80016-7_bib83","series-title":"Constraint Programming: Proceedings of the 1st International Conference","first-page":"533","article-title":"Improved branch and bound in constraint logic programming","volume":"volume 976","author":"Prestwich","year":"1995"},{"key":"10.1016\/S1574-6526(06)80016-7_bib84","series-title":"Proceedings of SPICIS'94","article-title":"A C++ Implementation of CLP","author":"Puget","year":"1994"},{"key":"10.1016\/S1574-6526(06)80016-7_bib85","series-title":"Proceedings of SPICIS'92","article-title":"PECOS: A High Level Constraint Programming Language","author":"Puget","year":"1992"},{"key":"10.1016\/S1574-6526(06)80016-7_bib86","series-title":"Principles and Practice of Constraint Programming (CP '2000)","first-page":"369","article-title":"Linear formulation of constraint programming models and hybrid solvers","author":"Refalo","year":"2000"},{"key":"10.1016\/S1574-6526(06)80016-7_bib87","series-title":"Proc. AAAI","first-page":"362","article-title":"A filtering algorithm for constraints of difference in CSPs","author":"Regin","year":"1994"},{"key":"10.1016\/S1574-6526(06)80016-7_bib88","series-title":"Introduction to Constraint Databases","author":"Revesz","year":"2002"},{"key":"10.1016\/S1574-6526(06)80016-7_bib89","series-title":"CP '98: Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming","first-page":"385","article-title":"A generic model and hybrid algorithm for hoist scheduling problems","author":"Rodosek","year":"1998"},{"key":"10.1016\/S1574-6526(06)80016-7_bib90","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1023\/A:1018904229454","article-title":"A new approach to integrating mixed integer programming with constraint logic programming","volume":"86","author":"Rodosek","year":"1999","journal-title":"Annals of Operations research"},{"key":"10.1016\/S1574-6526(06)80016-7_bib91","series-title":"New Trends in Constraints","first-page":"40","article-title":"Constraint (logic) programming: A survey on research and applications","volume":"volume 1865","author":"Rossi","year":"1999"},{"key":"10.1016\/S1574-6526(06)80016-7_bib92","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)80016-7_bib93","series-title":"FGCS","first-page":"195","article-title":"Transformational logic program synthesis","author":"Sato","year":"1984"},{"key":"10.1016\/S1574-6526(06)80016-7_bib94","series-title":"Proceedings of the International Conference on Logic Programming","first-page":"275","article-title":"Comparing trailing and copying for constraint programming","author":"Schulte","year":"1999"},{"key":"10.1016\/S1574-6526(06)80016-7_bib95","series-title":"Programming Constraint Services, volume 2302 of Lecture Notes in Artificial Intelligence","author":"Schulte","year":"2002"},{"key":"10.1016\/S1574-6526(06)80016-7_bib96","series-title":"Inductive Logic Programming Workshop, volume 1314 of Lecture Notes in Computer Science","first-page":"105","article-title":"Polynomial-time learning in logic programming and constraint logic programming","author":"Sebag","year":"1997"},{"issue":"3","key":"10.1016\/S1574-6526(06)80016-7_bib97","doi-asserted-by":"crossref","first-page":"412","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)80016-7_bib98","series-title":"Mathematical Logic","author":"Shoenfield","year":"1967"},{"issue":"4","key":"10.1016\/S1574-6526(06)80016-7_bib100","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1111\/j.1467-8640.1992.tb00381.x","article-title":"Hierarchical arc consistency for disjoint real intervals in constraint logic programming","volume":"8","author":"Sidebottom","year":"1992","journal-title":"Computational Intelligence"},{"key":"10.1016\/S1574-6526(06)80016-7_bib101","series-title":"Computer Science Today","first-page":"324","article-title":"The Oz programming model","volume":"vol. 1000","author":"Smolka","year":"1995"},{"key":"10.1016\/S1574-6526(06)80016-7_bib103","article-title":"Residuation and guarded rules for constraint logic programming","author":"Smolka","year":"1991","journal-title":"Technical report, Digital Equipment Paris Research Laboratory Research Report"},{"issue":"1","key":"10.1016\/S1574-6526(06)80016-7_bib104","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1006\/inco.1995.1048","article-title":"Negation and constraint logic programming","volume":"118","author":"Stuckey","year":"1995","journal-title":"Information and Computation"},{"issue":"4","key":"10.1016\/S1574-6526(06)80016-7_bib105","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1287\/ijoc.3.4.269","article-title":"Incremental linear constraint solving and detection of implicit equalities","volume":"3","author":"Stuckey","year":"1991","journal-title":"ORSA Journal of Computing"},{"issue":"1","key":"10.1016\/S1574-6526(06)80016-7_bib106","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(80)90032-6","article-title":"CONSTRAINTS \u2014 a language for expressing almost-hierarchical descriptions","volume":"14","author":"Sussman","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(06)80016-7_bib107","series-title":"Proceedings of the Spring Joint Computer Conference","first-page":"329","article-title":"Sketchpad: A man-machine graphical communication system","author":"Sutherland","year":"1963"},{"key":"10.1016\/S1574-6526(06)80016-7_bib108","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","article-title":"The semantics of predicate logic as a programming language","volume":"23","author":"van Emden","year":"1976","journal-title":"JACM"},{"key":"10.1016\/S1574-6526(06)80016-7_bib109","series-title":"The OPL Optimization Programming Language","author":"Van Hentenryck","year":"1999"},{"key":"10.1016\/S1574-6526(06)80016-7_bib110","series-title":"Constraint Satisfaction in Logic Programming","author":"Van Hentenryck","year":"1989"},{"key":"10.1016\/S1574-6526(06)80016-7_bib111","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0004-3702(98)00053-8","article-title":"A gentle introduction to Numerica","volume":"103","author":"Van Hentenryck","year":"1998","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(06)80016-7_bib112","series-title":"Constraint Logic Programming: Selected Research","first-page":"383","article-title":"The cardinality operator: A new logical connective for constraint logic programming","author":"Van Hentenryck","year":"1993"},{"key":"10.1016\/S1574-6526(06)80016-7_bib113","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/BF01543480","article-title":"Standard forms for rational linear arithmetics in constraint logic programming","volume":"5","author":"Van Hentenryck","year":"1992","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S1574-6526(06)80016-7_bib114","series-title":"Constraint-Based Local Search","author":"Van Hentenryck","year":"2005"},{"key":"10.1016\/S1574-6526(06)80016-7_bib115","first-page":"41","article-title":"Localizer: A modeling language for local search","volume":"5","author":"Van Hentenryck","year":"2000","journal-title":"Constraints"},{"issue":"4","key":"10.1016\/S1574-6526(06)80016-7_bib116","doi-asserted-by":"crossref","first-page":"635","DOI":"10.1145\/210184.210192","article-title":"Backtracking without trailing in CLP(RLin)","volume":"17","author":"Van Hentenryck","year":"1995","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1574-6526(06)80016-7_bib117","article-title":"Constraint processing in cc(FD)","author":"Van Hentenryck","year":"1992","journal-title":"Technical report"},{"key":"10.1016\/S1574-6526(06)80016-7_bib118","series-title":"Constraint Programming: Basics and Trends","article-title":"Design, implementation and evaluation of the constraint language cc (fd)","author":"Van Hentenryck","year":"1995"},{"key":"10.1016\/S1574-6526(06)80016-7_bib119","article-title":"The constraint language trilogy: Semantics and computations","author":"Voda","year":"1988"},{"key":"10.1016\/S1574-6526(06)80016-7_bib120","series-title":"Constraint and Integer Programming Toward a Unified Methodology","article-title":"Hybrid problem solving in ECLiPSe","volume":"volume 27","author":"Wallace","year":"2004"},{"issue":"4","key":"10.1016\/S1574-6526(06)80016-7_bib121","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1023\/A:1014450507312","article-title":"Finding the right hybrid algorithm \u2014 a combinatorial meta-problem","volume":"34","author":"Wallace","year":"2002","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S1574-6526(06)80016-7_bib122","article-title":"An Abstract Prolog Instruction Set","author":"Warren","year":"1983"},{"issue":"2","key":"10.1016\/S1574-6526(06)80016-7_bib123","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1287\/trsc.1030.0078","article-title":"Hybrid column generation approaches for urban transit crew management problems","volume":"39","author":"Yunes","year":"2002","journal-title":"Transportation Science"},{"key":"10.1016\/S1574-6526(06)80016-7_bib124","article-title":"Programming finite-domain constraint propagators in action rules","volume":"5","author":"Zhou","year":"2005","journal-title":"Theory and Practice of Logic Programming"}],"container-title":["Foundations of Artificial Intelligence","Handbook of Constraint Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652606800167?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652606800167?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:54:18Z","timestamp":1761620058000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1574652606800167"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9780444527264"],"references-count":118,"URL":"https:\/\/doi.org\/10.1016\/s1574-6526(06)80016-7","relation":{},"ISSN":["1574-6526"],"issn-type":[{"value":"1574-6526","type":"print"}],"subject":[],"published":{"date-parts":[[2006]]}}}