{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:19:50Z","timestamp":1737436790984,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417682"},{"type":"electronic","value":"9783540452416"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45241-9_16","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T14:24:00Z","timestamp":1188311040000},"page":"229-244","source":"Crossref","is-referenced-by-count":5,"title":["Compiling High-Level Type Constructors in Constraint Programming"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Flener","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brahim","family":"Hnich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zeynep","family":"Kiziltan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,3,29]]},"reference":[{"issue":"3","key":"16_CR1","first-page":"297","volume":"15","author":"F. Ambert","year":"1996","unstructured":"F. Ambert, B. Legeard, and E. Legros. Programmation en logique avec contraintes sur ensembles et multi-ensembles h\u00e9r\u00e9ditairement finis. Techniques et Sciences Informatiques 15(3):297\u2013328, 1996.","journal-title":"Techniques et Sciences Informatiques"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"L. Blaine, L. Gilham, J. Liu, D.R. Smith, and S. Westfold. PlanWare: Domainspeci fic synthesis of high-performance schedulers. In Proc. of ASE\u201998, pp. 270\u2013279. IEEE Computer Society Press, 1998.","DOI":"10.1109\/ASE.1998.732672"},{"key":"16_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/3-540-49201-1_2","volume-title":"NP-SPEC: An executable specification language for solving all problems in NP","author":"M. Cadoli","year":"1998","unstructured":"M. Cadoli, L. Palopoli, A. Schaerf, and D. Vasile. NP-SPEC: An executable specification language for solving all problems in NP. In: G. Gupta (ed), Proc. of PADL\u201999, pp. 16\u201330. LNCS 1551. Springer-Verlag, 1999."},{"key":"16_CR4","unstructured":"A. Dovier, C. Piazza, E. Pontelli, and G. Rossi. On the representation and management of finite sets in CLP-languages. In: J. Jaffar (ed), Proc. of JICSLP\u201998, pp. 40\u201354. The MIT Press, 1998."},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"P. Flener, H. Zidoum, and B. Hnich. Schema-guided synthesis of constraint logic programs. In Proc. of ASE\u201998, pp. 168\u2013176. IEEE Computer Society Press, 1998.","DOI":"10.1109\/ASE.1998.732620"},{"key":"16_CR6","unstructured":"P. Flener and B. Hnich. The Syntax and Semantics of ESRA. ASTRA Internal Report. Available via http:\/\/www.dis.uu.se\/~pierref\/astra\/ ."},{"key":"16_CR7","series-title":"Lect Notes Comput Sci","volume-title":"A meta-heuristic for subset problems","author":"P. Flener","year":"2001","unstructured":"P. Flener, B. Hnich, and Z. Kiziltan. A meta-heuristic for subset problems. In: I.V. Ramakrishnan (ed), Proc. of PADL\u201901. LNCS, this volume. Springer-Verlag, 2001."},{"issue":"3","key":"16_CR8","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BF00137870","volume":"1","author":"C. Gervet","year":"1997","unstructured":"C. Gervet. Interval propagation to reason about sets: Definition and implementation of a practical language. Constraints 1(3):191\u2013244, 1997.","journal-title":"Constraints"},{"key":"16_CR9","unstructured":"B. Hnich and P. Flener. High-level reformulation of constraint programs. Submitted for review. Available via http:\/\/www.dis.uu.se\/pierref\/astra\/ ."},{"key":"16_CR10","unstructured":"Z. Kiziltan, P. Flener, and B. Hnich. A labelling heuristic for subset problems. Submitted for review. Available via http:\/\/www.dis.uu.se\/pierref\/astra\/ ."},{"key":"16_CR11","unstructured":"T. M\u00fcller. Solving set partitioning problems with constraint programming. In Proc. of PAPPACT\u201998, pp. 313\u2013332. The Practical Application Company, 1998."},{"key":"16_CR12","unstructured":"D.R. Smith. The structure and design of global search algorithms. Tech. Rep. KES.U.87.12, Kestrel Institute, 1988."},{"issue":"9","key":"16_CR13","doi-asserted-by":"publisher","first-page":"1024","DOI":"10.1109\/32.58788","volume":"16","author":"D.R. Smith","year":"1990","unstructured":"D.R. Smith. KIDS: A semi-automatic program development system. IEEE Trans. on Software Engineering 16(9):1024\u20131043, 1990.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"16_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/BFb0014308","volume-title":"Toward a classification approach to design","author":"D.R. Smith","year":"1996","unstructured":"D.R. Smith. Toward a classification approach to design. In Proc. of AMAST\u201996, pp. 62\u201384. LNCS 1101. Springer-Verlag, 1996."},{"key":"16_CR15","unstructured":"E. Tsang, P. Mills, R. Williams, J. Ford, and J. Borrett. A computer-aided constraint programming system. In: J. Little (ed), Proc. of PACLP\u201999, pp. 81\u201393. The Practical Application Company, 1999."},{"key":"16_CR16","unstructured":"P. Van Hentenryck. The opl Optimization Programming Language. The MIT Press, 1999."}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45241-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T18:10:06Z","timestamp":1737396606000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45241-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417682","9783540452416"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45241-9_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}