{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:28:08Z","timestamp":1725550088092},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642119989"},{"type":"electronic","value":"9783642119996"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11999-6_3","type":"book-chapter","created":{"date-parts":[[2010,3,16]],"date-time":"2010-03-16T04:52:29Z","timestamp":1268715149000},"page":"27-43","source":"Crossref","is-referenced-by-count":1,"title":["Integrating ILOG CP Technology into $\\mathcal{TOY}$"],"prefix":"10.1007","author":[{"given":"Ignacio","family":"Casti\u00f1eiras","sequence":"first","affiliation":[]},{"given":"Fernando","family":"S\u00e1enz-P\u00e9rez","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"#cr-split#-3_CR1.1","unstructured":"Arenas, P., Est\u00e9vez, S., Fern\u00e1ndez, A., Gil, A., L\u00f3pez-Fraguas, F., Rodr\u00edguez-Artalejo, M., S\u00e1enz-P\u00e9rez, F.:                                                                                   $\\mathcal{TOY}$                  . A multiparadigm declarative language. version 2.3.1 (2007);"},{"key":"#cr-split#-3_CR1.2","unstructured":"Caballero, R., S\u00e1nchez, J. (eds.),                                           http:\/\/toy.sourceforge.net"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/j.entcs.2007.01.013","volume":"177","author":"R.G. Campo del","year":"2007","unstructured":"del Campo, R.G., S\u00e1enz-P\u00e9rez, F.: Programmed search in a timetabling problem over finite domains. Electronic Notes in Theoretical Computer Science\u00a0177, 253\u2013267 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"4","key":"3_CR3","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1017\/S1471068409003780","volume":"9","author":"S. Est\u00e9vez-Mart\u00edn","year":"2009","unstructured":"Est\u00e9vez-Mart\u00edn, S., Fern\u00e1ndez, A., Hortal\u00e1-Gonz\u00e1lez, M., S\u00e1enz-P\u00e9rez, F., Rodr\u00edguez-Artalejo, M., del Vado-V\u00edrseda, R.: On the Cooperation of the Constraint Domains H, R and FD in CFLP. Theory and Practice in Logic Programming\u00a09(4), 415\u2013527 (2009)","journal-title":"Theory and Practice in Logic Programming"},{"key":"3_CR4","unstructured":"Est\u00e9vez-Mart\u00edn, S., Fern\u00e1ndez, A.J., S\u00e1enz-P\u00e9rez, F.: About implementing a constraint functional logic programming system with solver cooperation. In: Proc. of CICLOPS 2007, pp. 57\u201371 (2007)"},{"issue":"5","key":"3_CR5","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1017\/S1471068406002924","volume":"7","author":"A.J. Fern\u00e1ndez","year":"2007","unstructured":"Fern\u00e1ndez, A.J., Hortal\u00e1-Gonz\u00e1lez, T., S\u00e1enz-P\u00e9rez, F., del Vado-V\u00edrseda, R.: Constraint Functional Logic Programming over Finite Domains. Theory and Practice in Logic Programming\u00a07(5), 537\u2013582 (2007)","journal-title":"Theory and Practice in Logic Programming"},{"key":"3_CR6","unstructured":"Gecode. Gecode, \n                    \n                      http:\/\/www.gecode.org\/"},{"key":"3_CR7","unstructured":"ILOG. ILOG Solver 6.6, Reference Manual (2008)"},{"key":"3_CR8","unstructured":"ILOG. ILOG OPL Studio 6.1, Reference Manual (2009)"},{"key":"3_CR9","unstructured":"Microsoft (2005), \n                    \n                      http:\/\/msdn.microsoft.com\/en-us\/visualc\/default.aspx"},{"key":"3_CR10","unstructured":"SICStus Prolog. Using SICStus Prolog with newer Microsoft C compilers, \n                    \n                      http:\/\/www.sics.se\/isl\/sicstuswww\/site\/dontpanic.html"},{"key":"3_CR11","unstructured":"SICStus Prolog (2007), \n                    \n                      http:\/\/www.sics.se\/isl\/sicstus"}],"container-title":["Lecture Notes in Computer Science","Functional and Constraint Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11999-6_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:46:15Z","timestamp":1606185975000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11999-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642119989","9783642119996"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11999-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}