{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T08:18:00Z","timestamp":1742977080685,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642194856"},{"type":"electronic","value":"9783642194863"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-19486-3_3","type":"book-chapter","created":{"date-parts":[[2011,3,11]],"date-time":"2011-03-11T05:38:21Z","timestamp":1299821901000},"page":"38-58","source":"Crossref","is-referenced-by-count":1,"title":["Procedural Code Generation vs Static Expansion in Modelling Languages for Constraint Programming"],"prefix":"10.1007","author":[{"given":"Julien","family":"Martin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"Martinez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Fages","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","first-page":"43","volume-title":"GO-II Meeting: Proceedings of the Second International Colloquium on Graphs and Optimization","author":"P. Brucker","year":"1997","unstructured":"Brucker, P., Hurink, J., Jurisch, B., W\u00f6stmann, B.: A branch & bound algorithm for the open-shop problem. In: GO-II Meeting: Proceedings of the Second International Colloquium on Graphs and Optimization, pp. 43\u201359. Elsevier Science Publishers B. V., Amsterdam (1997)"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-540-85958-1_15","volume-title":"Principles and Practice of Constraint Programming","author":"M. Carlsson","year":"2008","unstructured":"Carlsson, M., Beldiceanu, N., Martin, J.: A geometric constraint over k-dimensional objects and shapes subject to business rules. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol.\u00a05202, pp. 220\u2013234. Springer, Heidelberg (2008)"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"700","DOI":"10.1007\/11889205_54","volume-title":"Principles and Practice of Constraint Programming - CP 2006","author":"M.G. Banda de la","year":"2006","unstructured":"de la Banda, M.G., Marriott, K., Rafeh, R., Wallace, M.: The modelling language Zinc. In: Benhamou, F. (ed.) CP 2006. LNCS, vol.\u00a04204, pp. 700\u2013705. Springer, Heidelberg (2006)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-642-03251-6_5","volume-title":"Recent Advances in Constraints","author":"F. Fages","year":"2009","unstructured":"Fages, F., Martin, J.: From rules to constraint programs with the Rules2CP modelling language. In: Oddi, A., Fages, F., Rossi, F. (eds.) CSCLP 2008. LNCS, vol.\u00a05655, pp. 66\u201383. Springer, Heidelberg (2009)"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-642-01929-6_28","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"F. Fages","year":"2009","unstructured":"Fages, F., Martin, J.: Modelling search strategies in Rules2CP. In: van Hoeve, W.-J., Hooker, J.N. (eds.) CPAIOR 2009. LNCS, vol.\u00a05547, pp. 321\u2013322. Springer, Heidelberg (2009)"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/s10601-008-9047-y","volume":"13","author":"A.M. Frisch","year":"2008","unstructured":"Frisch, A.M., Harvey, W., Jefferson, C., Martinez-Hernandez, B., Miguel, I.: Essence: A constraint language for specifying combinatorial problems. Constraints\u00a013, 268\u2013306 (2008)","journal-title":"Constraints"},{"issue":"2","key":"3_CR7","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1145\/359496.359529","volume":"1","author":"P. Hentenryck Van","year":"2000","unstructured":"Van Hentenryck, P., Perron, L., Puget, J.-F.: Search and strategies in opl. ACM Transactions on Compututational Logic\u00a01(2), 285\u2013320 (2000)","journal-title":"ACM Transactions on Compututational Logic"},{"key":"3_CR8","first-page":"105","volume-title":"Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1989","author":"P.C. Kanellakis","year":"1989","unstructured":"Kanellakis, P.C., Mitchell, J.C.: Polymorphic unification and ml typing. In: Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1989, pp. 105\u2013115. ACM, New York (1989)"},{"key":"3_CR9","unstructured":"Korf, R.E.: Optimal rectangle packing: New results. In: ICAPS, pp. 142\u2013149 (2004)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"881","DOI":"10.1007\/11564751_119","volume-title":"Principles and Practice of Constraint Programming - CP 2005","author":"L. Michel","year":"2005","unstructured":"Michel, L., Van Hentenryck, P.: The comet programming language and system. In: van Beek, P. (ed.) CP 2005. LNCS, vol.\u00a03709, p. 881. Springer, Heidelberg (2005)"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-540-69611-7_14","volume-title":"Practical Aspects of Declarative Languages","author":"R. Rafeh","year":"2006","unstructured":"Rafeh, R., de la Banda, M.G., Marriott, K., Wallace, M.: From Zinc to design model. In: Hanus, M. (ed.) PADL 2007. LNCS, vol.\u00a04354, pp. 215\u2013229. Springer, Heidelberg (2006)"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"R\u00e9my, D.: Records and variants as a natural extension of ML. In: Sixteenth Annual Symposium on Principles of Programming Languages (1989)","DOI":"10.1145\/75277.75284"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Simonis, H., O\u2019Sullivan, B.: Using global constraints for rectangle packing. In: Proceedings of the First Workshop on Bin Packing and Placement Constraints BPPC 2008, Associated to CPAIOR 2008 (May 2008)","DOI":"10.1007\/978-3-540-85958-1_4"},{"key":"3_CR14","volume-title":"The OPL Optimization programming Language","author":"P. Hentenryck Van","year":"1999","unstructured":"Van Hentenryck, P.: The OPL Optimization programming Language. MIT Press, Cambridge (1999)"}],"container-title":["Lecture Notes in Computer Science","Recent Advances in Constraints"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19486-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,4]],"date-time":"2025-03-04T02:26:13Z","timestamp":1741055173000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19486-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642194856","9783642194863"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19486-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}