{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T22:43:22Z","timestamp":1783637002933,"version":"3.55.0"},"reference-count":75,"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)80018-0","type":"book-chapter","created":{"date-parts":[[2008,2,26]],"date-time":"2008-02-26T16:51:39Z","timestamp":1204044699000},"page":"495-526","source":"Crossref","is-referenced-by-count":18,"title":["Finite Domain Constraint Programming Systems"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S1574-6526(06)80018-0_bib1","series-title":"Actes du S\u00e9minaire 1990 de programmation en Logique","first-page":"487","article-title":"Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems","author":"Aggoun","year":"1990"},{"key":"10.1016\/S1574-6526(06)80018-0_bib2","series-title":"Proceedings of the Eight International Conference on Logic Programming","first-page":"775","article-title":"Overview of the CHIP Compiler System","author":"Aggoun","year":"1991"},{"key":"10.1016\/S1574-6526(06)80018-0_bib3","series-title":"Constraint Logic Programming: Selected Research","first-page":"421","article-title":"Overview of the CHIP compiler system","author":"Aggoun","year":"1993"},{"issue":"7","key":"10.1016\/S1574-6526(06)80018-0_bib4","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0895-7177(93)90068-A","article-title":"Extending CHIP in order to solve complex scheduling and placement problems","volume":"17","author":"Aggoun","year":"1993","journal-title":"Journal of Mathematical and Computer Modelling"},{"key":"10.1016\/S1574-6526(06)80018-0_bib5","series-title":"ECLiPSe 5.0, User manual","author":"Aggoun","year":"2000"},{"key":"10.1016\/S1574-6526(06)80018-0_bib6","series-title":"The Alice system","author":"Team","year":"2003"},{"key":"10.1016\/S1574-6526(06)80018-0_bib7","series-title":"Principles of Constraint Programming","author":"Apt","year":"2003"},{"key":"10.1016\/S1574-6526(06)80018-0_bib8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7160.001.0001","article-title":"Warren's Abstract Machine: A Tutorial Reconstruction","author":"A\u00eft-Kaci","year":"1991"},{"issue":"2","key":"10.1016\/S1574-6526(06)80018-0_bib9","article-title":"FaCiLe: a functional constraint library","volume":"14","author":"Barnier","year":"2001","journal-title":"ALP Newsletter"},{"issue":"12","key":"10.1016\/S1574-6526(06)80018-0_bib11","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0895-7177(94)90127-9","article-title":"Introducing global constraints in CHIP","volume":"20","author":"Beldiceanu","year":"1994","journal-title":"Journal of Mathematical and Computer Modelling"},{"key":"10.1016\/S1574-6526(06)80018-0_bib13","series-title":"Proceedings of the Fifth International Conference on Algebraic and Logic Programming (ALP'96), LNCS 1139","first-page":"62","article-title":"Heterogeneous Constraint Solving","author":"Benhamou","year":"1996"},{"key":"10.1016\/S1574-6526(06)80018-0_bib14","article-title":"ECLiPSe Constraint Library Manual 5.8","author":"Brisset","year":"2005"},{"key":"10.1016\/S1574-6526(06)80018-0_bib15","series-title":"Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, volume 1292 of Lecture Notes in Computer Science","first-page":"191","article-title":"An open-ended finite domain constraint solver","author":"Carlsson","year":"1997"},{"key":"10.1016\/S1574-6526(06)80018-0_bib16","series-title":"Proceedings of the 1999 International Conference on Logic Programming","first-page":"245","article-title":"CLAIRE: Combining sets, search and rules to better express algorithms","author":"Caseau","year":"1999"},{"issue":"3","key":"10.1016\/S1574-6526(06)80018-0_bib17","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1145\/185403.185453","article-title":"Parallel logic programming systems","volume":"26","author":"de Kergommeaux","year":"1994","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S1574-6526(06)80018-0_bib18","series-title":"Proceedings of the Seventh International Conference on Principles and Practice of Constraint Programming","article-title":"Components for state restoration in tree search","volume":"vol. 2239","author":"Wo Choi","year":"2001"},{"issue":"3","key":"10.1016\/S1574-6526(06)80018-0_bib19","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":"The Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(06)80018-0_bib20","series-title":"Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, volume 1753 of Lecture Notes in Computer Science","first-page":"81","article-title":"GNU prolog: Beyond compiling Prolog to C","author":"Diaz","year":"2000"},{"issue":"6","key":"10.1016\/S1574-6526(06)80018-0_bib21","article-title":"Design and implementation of the GNU prolog system","volume":"2001","author":"Diaz","year":"2001","journal-title":"Journal of Functional and Logic Programming"},{"key":"10.1016\/S1574-6526(06)80018-0_bib22","series-title":"Proceedings of the Tenth International Conference on Logic Programming","first-page":"774","article-title":"A minimal extension of the WAM for clp (FD)","author":"Diaz","year":"1993"},{"key":"10.1016\/S1574-6526(06)80018-0_bib23","series-title":"Logic Based Program Synthesis and Transformation: 13th International Symposium","first-page":"214","article-title":"Introducing ESRA, a relational language modelling combinatorial problems","volume":"volume 3108","author":"Flener","year":"2004"},{"key":"10.1016\/S1574-6526(06)80018-0_bib24","series-title":"Gecode: Generic constraint development environment","author":"Gecode","year":"2005"},{"key":"10.1016\/S1574-6526(06)80018-0_bib25","series-title":"ICLP'03, volume 2916 of Lecture Notes in Computer Science","first-page":"300","article-title":"Implementing constraint propagation by composition of reductions","author":"Granvilliers","year":"2003"},{"issue":"4","key":"10.1016\/S1574-6526(06)80018-0_bib26","doi-asserted-by":"crossref","first-page":"472","DOI":"10.1145\/504083.504085","article-title":"Parallel execution of Prolog programs","volume":"23","author":"Gupta","year":"2001","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1574-6526(06)80018-0_bib27","series-title":"The 24th Symposium on Principles of Programming Languages","first-page":"80","article-title":"A unified computation model for functional and logic programming","author":"Hanus","year":"1997"},{"key":"10.1016\/S1574-6526(06)80018-0_bib28","unstructured":"Warwick Harvey. Personal communication, April, 2004"},{"key":"10.1016\/S1574-6526(06)80018-0_bib29","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1023\/A:1022323717928","article-title":"Improving linear constraint propagation by changing constraint representation","volume":"7","author":"Harvey","year":"2003","journal-title":"Constraints"},{"key":"10.1016\/S1574-6526(06)80018-0_bib30","series-title":"Fourteenth International Joint Conference on Artificial Intelligence","first-page":"607","article-title":"Limited discrepancy search","author":"Harvey","year":"1995"},{"key":"10.1016\/S1574-6526(06)80018-0_bib31","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"},{"key":"10.1016\/S1574-6526(06)80018-0_bib32","series-title":"ILOG Solver 6.0: Reference Manual","author":"Ilog","year":"2003"},{"issue":"3","key":"10.1016\/S1574-6526(06)80018-0_bib33","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":"Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1574-6526(06)80018-0_bib34","series-title":"Proceedings of TRICS: Techniques for Implementing Constraint programming Systems, a post-conference workshop of CP 2000","first-page":"118","article-title":"The PaLM system: explanation-based constraint programming","author":"Narendra Jussien and Vincent Barichard","year":"2000"},{"key":"10.1016\/S1574-6526(06)80018-0_bib35","series-title":"SICStus Prolog user's manual, 3.12.1. Technical report","author":"Intelligent Systems Laboratory","year":"2005"},{"key":"10.1016\/S1574-6526(06)80018-0_bib36","series-title":"Proceedings of TRICS: Techniques for Implementing Constraint programming Systems, a post-conference workshop of CP 2000","first-page":"71","article-title":"CHOCO: implementing a CP kernel","author":"Laburthe","year":"2000"},{"key":"10.1016\/S1574-6526(06)80018-0_bib37","series-title":"Proceedings of the Fourth International Conference on Principles and Practice of Constraint Programming, volume 1520 of Lecture Notes in Computer Science","first-page":"310","article-title":"SALSA: A language for search algorithms","author":"Laburthe","year":"1998"},{"issue":"1\u20133","key":"10.1016\/S1574-6526(06)80018-0_bib38","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/S0743-1066(98)10007-9","article-title":"Dynamic optimization of interval narrowing algorithms","volume":"37","author":"Lhomme","year":"1998","journal-title":"The Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(06)80018-0_bib39","series-title":"Proceedings of the First International Conference on Principles and Practice of Constraint Programming","first-page":"204","article-title":"Debugging constraint programs","volume":"volume 976","author":"Meier","year":"1995"},{"key":"10.1016\/S1574-6526(06)80018-0_bib40","series-title":"Fifteenth International Joint Conference on Artificial Intelligence","first-page":"1382","article-title":"Interleaved depth-first search","author":"Meseguer","year":"1997"},{"issue":"2","key":"10.1016\/S1574-6526(06)80018-0_bib41","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1145\/976706.976714","article-title":"A decomposition-based implementation of search strategies","volume":"5","author":"Michel","year":"2004","journal-title":"ACM Transactions on Computational Logic"},{"key":"10.1016\/S1574-6526(06)80018-0_bib43","series-title":"The Mozart programming system","author":"Consortium","year":"1999"},{"key":"10.1016\/S1574-6526(06)80018-0_bib44","series-title":"Proceedings of the Eleventh International Conference on Logic Programming","first-page":"124","article-title":"Parallel CLP on heterogeneous networks","author":"Mudambi","year":"1994"},{"key":"10.1016\/S1574-6526(06)80018-0_bib45","article-title":"Constraint Propagation in Mozart","author":"M\u00fcller","year":"2001","journal-title":"Doctoral dissertation, Universit\u00e4t des Saarlandes, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Fachrichtung Informatik, Im Stadtwald, 66041, Saarbr\u00fccken, Germany"},{"key":"10.1016\/S1574-6526(06)80018-0_bib46","series-title":"Eight International Conference on Principles and Practice of Constraint Programming","first-page":"633","article-title":"Robust and parallel solving of a network design problem","volume":"volume 2470","author":"Pape","year":"2002"},{"key":"10.1016\/S1574-6526(06)80018-0_bib47","series-title":"Proceedings of the Fifth International Conference on Principles and Practice of Constraint Programming, volume 1713 of Lecture Notes in Computer Science","first-page":"346","article-title":"Search procedures and parallelism in constraint programming","author":"Perron","year":"1999"},{"key":"10.1016\/S1574-6526(06)80018-0_bib48","series-title":"Proceedings of the Fourth International Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (CP-AI-OR'02)","first-page":"261","article-title":"Practical parallelism in constraint programming","author":"Perron","year":"2002"},{"key":"10.1016\/S1574-6526(06)80018-0_bib50","series-title":"Proceedings of the First International Conference on Principles and Practice of Constraint Programming","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)80018-0_bib51","series-title":"Eleventh International Conference on Principles and Practice of Constraint Programming","first-page":"520","article-title":"Maintaining arc consistency algorithms during the search without additional cost","author":"R\u00e9gin","year":"2005"},{"key":"10.1016\/S1574-6526(06)80018-0_bib52","series-title":"Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000","first-page":"16","article-title":"Constraint reduction at the type level","author":"Sav\u00e9ant","year":"2000"},{"key":"10.1016\/S1574-6526(06)80018-0_bib53","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)80018-0_bib54","article-title":"Programming Constraint Services","volume":"2302","author":"Schulte","year":"2002"},{"key":"10.1016\/S1574-6526(06)80018-0_bib55","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)80018-0_bib56","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":"1330","author":"Schulte","year":"1997"},{"key":"10.1016\/S1574-6526(06)80018-0_bib57","series-title":"Logic Programming: Proceedings of the 1994 International Symposium","first-page":"505","article-title":"Encapsulated search in higher-order concurrent constraint programming","author":"Schulte","year":"1994"},{"key":"10.1016\/S1574-6526(06)80018-0_bib58","series-title":"Tenth International Conference on Principles and Practice of Constraint Programming","first-page":"619","article-title":"Speeding up constraint propagation","volume":"3258","author":"Schulte","year":"2004"},{"issue":"3","key":"10.1016\/S1574-6526(06)80018-0_bib59","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1145\/1065887.1065889","article-title":"When do bounds and domain propagation lead to the same search space?","volume":"27","author":"Schulte","year":"2005","journal-title":"Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1574-6526(06)80018-0_bib60","series-title":"Eleventh International Conference on Principles and Practice of Constraint Programming","first-page":"817","article-title":"Views and iterators for generic constraint implementations","author":"Schulte","year":"2005"},{"key":"10.1016\/S1574-6526(06)80018-0_bib61","series-title":"Eleventh International Conference on Principles and Practice of Constraint Programming","first-page":"622","article-title":"Eplex: An interface to mathematical programming solvers for constraint logic programming languages","author":"Shen","year":"2005"},{"key":"10.1016\/S1574-6526(06)80018-0_bib62","article-title":"A Language for Optimizing Constraint Propagation","author":"Sidebottom","year":"1993","journal-title":"PhD thesis, Simon Fraser University"},{"key":"10.1016\/S1574-6526(06)80018-0_bib63","series-title":"Computer Science Today","first-page":"324","article-title":"The Oz programming model","volume":"1000","author":"Smolka","year":"1995"},{"key":"10.1016\/S1574-6526(06)80018-0_bib64","series-title":"The OPL Optimization Programming Language","author":"Van Hentenryck","year":"1999"},{"issue":"4","key":"10.1016\/S1574-6526(06)80018-0_bib65","doi-asserted-by":"crossref","first-page":"635","DOI":"10.1145\/210184.210192","article-title":"Backtracking without trailing in clp (r-lin)","volume":"17","author":"Van Hentenryck","year":"1995","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10.1016\/S1574-6526(06)80018-0_bib66","series-title":"Constraint processing in cc (FD)","author":"Van Hentenryck","year":"1991"},{"key":"10.1016\/S1574-6526(06)80018-0_bib67","series-title":"Constraint Programming: Basics and Trends","first-page":"293","article-title":"Design, implementation and evaluation of the constraint language cc (FD)","volume":"910","author":"Van Hentenryck","year":"1995"},{"issue":"1\u20133","key":"10.1016\/S1574-6526(06)80018-0_bib68","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/S0743-1066(98)10006-7","article-title":"Design, implementation, and evaluation of the constraint language cc (FD)","volume":"37","author":"Van Hentenryck","year":"1998","journal-title":"The Journal of Logic Programming"},{"issue":"2","key":"10.1016\/S1574-6526(06)80018-0_bib69","doi-asserted-by":"crossref","first-page":"285","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"},{"key":"10.1016\/S1574-6526(06)80018-0_bib70","article-title":"Eclipse: A platform for constraint logic programming","author":"Wallace","year":"1997"},{"issue":"1","key":"10.1016\/S1574-6526(06)80018-0_bib71","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/B:CONS.0000006181.40558.37","article-title":"On benchmarking constraint logic programming platforms","volume":"9","author":"Wallace","year":"2004","journal-title":"Constraints"},{"key":"10.1016\/S1574-6526(06)80018-0_bib72","series-title":"Ninth Canadian Conference on Artificial Intelligence","first-page":"163","article-title":"Ordering heuristics for arc consistency algorithms","author":"Wallace","year":"1992"},{"key":"10.1016\/S1574-6526(06)80018-0_bib73","series-title":"Fifteenth International Joint Conference on Artificial Intelligence","first-page":"1388","article-title":"Depth-bounded discrepancy search","author":"Walsh","year":"1997"},{"key":"10.1016\/S1574-6526(06)80018-0_bib74","article-title":"An abstract Prolog instruction set","author":"Warren","year":"1983"},{"issue":"1","key":"10.1016\/S1574-6526(06)80018-0_bib75","first-page":"1","article-title":"Programming finite-domain constraint propagators in action rules","volume":"6","author":"Zhou","year":"2006","journal-title":"Theory and Practice of Logic Programming"},{"key":"10.1016\/S1574-6526(06)80018-0_bib10","series-title":"Eleventh International Conference on Principles and Practice of Constraint Programming","year":"2005"},{"key":"10.1016\/S1574-6526(06)80018-0_bib12","series-title":"Proceedings of TRICS: Techniques for Implementing Constraint programming Systems, a post-conference workshop of CP 2000","author":"Beldiceanu","year":"2000"},{"key":"10.1016\/S1574-6526(06)80018-0_bib42","series-title":"Proceedings of the First International Conference on Principles and Practice of Constraint Programming","volume":"volume 976","year":"1995"},{"key":"10.1016\/S1574-6526(06)80018-0_bib49","series-title":"Fifteenth International Joint Conference on Artificial Intelligence","year":"1997"}],"container-title":["Foundations of Artificial Intelligence","Handbook of Constraint Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652606800180?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652606800180?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:16Z","timestamp":1761619876000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1574652606800180"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9780444527264"],"references-count":75,"URL":"https:\/\/doi.org\/10.1016\/s1574-6526(06)80018-0","relation":{},"ISSN":["1574-6526"],"issn-type":[{"value":"1574-6526","type":"print"}],"subject":[],"published":{"date-parts":[[2006]]}}}