{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T10:45:42Z","timestamp":1743072342711,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642046858"},{"type":"electronic","value":"9783642046865"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04686-5_17","type":"book-chapter","created":{"date-parts":[[2009,10,6]],"date-time":"2009-10-06T06:59:43Z","timestamp":1254812383000},"page":"201-212","source":"Crossref","is-referenced-by-count":1,"title":["Type Parametric Compilation of Algebraic Constraints"],"prefix":"10.1007","author":[{"given":"Marco","family":"Correia","sequence":"first","affiliation":[]},{"given":"Pedro","family":"Barahona","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-24662-6_1","volume-title":"Recent Advances in Constraints","author":"K.R. Apt","year":"2003","unstructured":"Apt, K.R., Zoeteweij, P.: A comparative study of arithmetic constraints on integer intervals. In: Apt, K.R., Fages, F., Rossi, F., Szeredi, P., V\u00e1ncza, J. (eds.) CSCLP 2003. LNCS(LNAI), vol.\u00a03010, pp. 1\u201324. Springer, Heidelberg (2003)"},{"key":"17_CR2","series-title":"Foundations of Artificial Intelligence","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/S1574-6526(06)80007-6","volume-title":"Handbook of Constraint Programming","author":"C. Bessiere","year":"2006","unstructured":"Bessiere, C.: Constraint Propagation. In: Handbook of Constraint Programming. Foundations of Artificial Intelligence, pp. 29\u201383. Elsevier Science, Amsterdam (2006)"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Carlson, B.: Compiling and executing finite domain constraints. PhD thesis, Uppsala University (1995)","DOI":"10.7551\/mitpress\/4298.003.0021"},{"key":"17_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1007\/978-3-540-85958-1_34","volume-title":"Principles and Practice of Constraint Programming","author":"K.C.K. Cheng","year":"2008","unstructured":"Cheng, K.C.K., Yap, R.H.C.: Maintaining generalized arc consistency on ad hoc r-ary constraints. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol.\u00a05202, pp. 509\u2013523. Springer, Heidelberg (2008)"},{"key":"17_CR5","unstructured":"Choco. Choco constraint programming system (2003), http:\/\/www.emn.fr\/x-info\/choco-solver\/doku.php?id="},{"key":"17_CR6","unstructured":"Correia, M., Barahona, P., Azevedo, F.: Casper: A programming environment for development and integration of constraint solvers. In: Azevedo, F. (ed.) Proceedings of the First International Workshop on Constraint Programming Beyond Finite Integer Domains, BeyondFD 2005 (2005)"},{"key":"17_CR7","unstructured":"Diaz, D., Codognet, P.: Design and implementation of the gnu prolog system. Journal of Functional and Logic Programming\u00a02001(6) (October 2001)"},{"key":"17_CR8","unstructured":"ECLiPSe. ECLiPSe prolog (2008), http:\/\/www.eclipse-clp.org\/"},{"key":"17_CR9","unstructured":"Gecode. Gecode: Generic constraint development environment (2006), http:\/\/www.gecode.org"},{"key":"17_CR10","first-page":"191","volume-title":"AAAI","author":"I.P. Gent","year":"2007","unstructured":"Gent, I.P., Jefferson, C., Miguel, I., Nightingale, P.: Data structures for generalised arc consistency for extensional constraints. In: AAAI, pp. 191\u2013197. AAAI Press, Menlo Park (2007)"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Gent, I.P., Walsh, T.: Csplib: a benchmark library for constraints. Technical report, APES-09-1999 (1999), http:\/\/www.csplib.org\/","DOI":"10.1007\/978-3-540-48085-3_36"},{"key":"17_CR12","unstructured":"ILOG. Ilog solver 6.0: Reference manual, 2003."},{"key":"17_CR13","series-title":"Foundations of Artificial Intelligence","volume-title":"Handbook of Constraint Programming","year":"2006","unstructured":"Rossi, F., Van Beek, P., Walsh, T. (eds.): Handbook of Constraint Programming. Foundations of Artificial Intelligence. Elsevier Science, Amsterdam (2006)"},{"key":"17_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/11754602_9","volume-title":"Recent Advances in Constraints","author":"C. Schulte","year":"2006","unstructured":"Schulte, C., Tack, G.R.: Views and iterators for generic constraint implementations. In: Hnich, B., Carlsson, M., Fages, F., Rossi, F. (eds.) CSCLP 2005. LNCS (LNAI), vol.\u00a03978, pp. 118\u2013132. Springer, Heidelberg (2006)"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1007\/978-3-540-85958-1_44","volume-title":"Principles and Practice of Constraint Programming","author":"C. Schulte","year":"2008","unstructured":"Schulte, C., Tack, G.R.: Perfect derived propagators. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol.\u00a05202, pp. 571\u2013575. Springer, Heidelberg (2008)"},{"key":"17_CR16","unstructured":"SICStus. SICStus Prolog 3.12 User\u2019s Manual, 3.12 edn. (October 2006), http:\/\/www.sics.se\/sicstus\/"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Yuanlin, Z., Yap, R.H.C.: Arc consistency on n -ary monotonic and linear constraints. In: Principles and Practice of Constraint Programming, pp. 470\u2013483 (2000)","DOI":"10.1007\/3-540-45349-0_34"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04686-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,16]],"date-time":"2024-03-16T23:19:43Z","timestamp":1710631183000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04686-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642046858","9783642046865"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04686-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}