{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,10]],"date-time":"2026-11-10T22:04:07Z","timestamp":1794348247240,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540708803","type":"print"},{"value":"9783540708810","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70881-0_19","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T16:07:32Z","timestamp":1186157252000},"page":"209-222","source":"Crossref","is-referenced-by-count":0,"title":["Solution Strategies for Multi-domain Constraint Logic Programs"],"prefix":"10.1007","author":[{"given":"Stephan","family":"Frank","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Petra","family":"Hofstedt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter","family":"Pepper","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dirk","family":"Reckmann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1145\/361219.361224","volume":"18","author":"J. Bitner","year":"1975","unstructured":"Bitner, J., Reingold, E.M.: Backtrack Programming Techniques. Communications of the ACM (CACM)\u00a018, 651\u2013655 (1975)","journal-title":"Communications of the ACM (CACM)"},{"issue":"7","key":"19_CR2","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/109626.109635","volume":"26","author":"V.S. Costa","year":"1991","unstructured":"Costa, V.S., Warren, D.H.D., Yang, R.: Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism. SIGPLAN Notices (Symposium on Principles and Practice of Parallel Programming (PPOPP)\u00a026(7), 83\u201393 (1991)","journal-title":"SIGPLAN Notices"},{"key":"19_CR3","volume-title":"Proceedings of the 16th International Florida Artificial Intelligence Research Symposium Conference (FLAIRS)","author":"S.. Frank","year":"2003","unstructured":"Frank, S., Hofstedt, P., Mai, P.R.: Meta-S: A Strategy-oriented Meta-Solver Framework. In: Proceedings of the 16th International Florida Artificial Intelligence Research Symposium Conference (FLAIRS), May 2003, AAAI Press, Menlo Park (2003)"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Hofstedt, P.: Cooperation and Coordination of Constraint Solvers. PhD thesis, Dresden University of Technology (2001)","DOI":"10.1007\/3-540-45349-0_42"},{"key":"19_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/3-540-36187-1_38","volume-title":"AI 2002: Advances in Artificial Intelligence","author":"P. Hofstedt","year":"2002","unstructured":"Hofstedt, P.: A general Approach for Building Constraint Languages. In: McKay, B., Slaney, J.K. (eds.) AI 2002: Advances in Artificial Intelligence. LNCS (LNAI), vol.\u00a02557, pp. 431\u2013442. Springer, Heidelberg (2002)"},{"key":"19_CR6","unstructured":"Hofstedt, P., Pepper, P.: Integration of declarative and constraint programming. Theory and Practice of Logic Programming (TPLP), Special Issue on Multiparadigm Languages and Constraint Programming, to appear (2006)"},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19&20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.J.: Constraint Logic Programming: A Survey. Journal of Logic Programming\u00a019&20, 503\u2013581 (1994)","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"19_CR8","first-page":"63","volume":"E86-D","author":"N. Kobayashi","year":"2003","unstructured":"Kobayashi, N., Marin, M., Ida, T.: Collaborative Constraint Functional Logic Programming System in an Open Environment. IEICE Transactions on Information and Systems\u00a0E86-D(1), 63\u201370 (2003)","journal-title":"IEICE Transactions on Information and Systems"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Algebraic and Logic Programming","author":"F.-J. L\u00f3pez-Fraguas","year":"1992","unstructured":"L\u00f3pez-Fraguas, F.-J.: A General Scheme for Constraint Functional Logic Programming. In: Kirchner, H., Levi, G. (eds.) ALP 1992. LNCS, vol.\u00a0632, Springer, Heidelberg (1992)"},{"key":"19_CR10","unstructured":"Monfroy, E.: Solver Collaboration for Constraint Logic Programming. PhD thesis, Centre de Recherche en Informatique de Nancy. INRIA (1996)"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Perspectives of System Informatics","author":"B. Pajot","year":"2004","unstructured":"Pajot, B., Monfroy, E.: Separating search and strategy in solver cooperations. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol.\u00a02890, Springer, Heidelberg (2004)"},{"issue":"3","key":"19_CR12","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1111\/j.1467-8640.1993.tb00310.x","volume":"9","author":"P. Prosser","year":"1993","unstructured":"Prosser, P.: Hybrid Algorithms for the Constraint Satisfaction Problem. Computational Intelligence\u00a09(3), 268\u2013299 (1993)","journal-title":"Computational Intelligence"},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Constraint Programming: Basics and Trends","author":"M. Rueher","year":"1995","unstructured":"Rueher, M.: An Architecture for Cooperating Constraint Solvers on Reals. In: Podelski, A. (ed.) Constraint Programming: Basics and Trends. LNCS, vol.\u00a0910, Springer, Heidelberg (1995)"},{"key":"19_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45945-6","volume-title":"Programming Constraint Services","author":"C. Schulte","year":"2002","unstructured":"Schulte, C.: Programming Constraint Services. LNCS (LNAI), vol.\u00a02302. Springer, Heidelberg (2002)"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Smolka, G.: Residuation and Guarded Rules for Constraint Logic Programming. Technical Report RR-91-13, DFKI (1991)","DOI":"10.1007\/978-3-322-95233-2_24"},{"key":"19_CR16","unstructured":"Warren, D.H.D.: The Andorra Principle. Presented at the Gigalips Workshop, Swedish Institute of Computer Science (SICS), Stockholm, Sweden (1988)"}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70881-0_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T22:45:52Z","timestamp":1737326752000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70881-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540708803","9783540708810"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70881-0_19","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-540-70881-0","asserted-by":"object"}]},"subject":[]}}