{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T20:45:02Z","timestamp":1725655502050},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630661"},{"type":"electronic","value":"9783642608315"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/978-3-642-60831-5_40","type":"book-chapter","created":{"date-parts":[[2012,1,25]],"date-time":"2012-01-25T00:16:28Z","timestamp":1327450588000},"page":"317-326","source":"Crossref","is-referenced-by-count":0,"title":["Anwendungen Constraint basierter Programmierung"],"prefix":"10.1007","author":[{"given":"Thom","family":"Fr\u00fchwirth","sequence":"first","affiliation":[]},{"given":"Slim","family":"Abdennadher","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"Constraint Logic Programming: Selected Research","year":"1993","key":"40_CR1","unstructured":"F. Benhamou and A. Colmerauer, editors.Constraint Logic Programming: Selected Research. MIT Press, Cambridge, MA, USA, 1993."},{"key":"40_CR2","doi-asserted-by":"crossref","unstructured":"E. C. Freuder, editor.Second International Conference on Principles and Practice of Constraint ProgrammingCP\u201996. Springer LNCS 1118, August 1996.","DOI":"10.1007\/3-540-61551-2"},{"key":"40_CR3","first-page":"910","volume-title":"Constraint Programming: Basics and Trends, LNCS","author":"T Fr\u00fchwirth","year":"1995","unstructured":"T. Fr\u00fchwirth. Constraint handling rules. In A. Podelski, editor,Constraint Programming: Basics and Trends, LNCS 910. Springer-Verlag, March 1995."},{"key":"40_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59115-0","volume-title":"Cons traint-Programmierung","author":"T Fr\u00fchwirth","year":"1997","unstructured":"T. Fr\u00fchwirth and S. Abdennadher.Cons traint-Programmierung. Springer Verlag, Heidelberg, September 1997."},{"key":"40_CR5","volume-title":"Der Mietspiegel im Internet: Ein Fall fur Constraint- Logikprogrammierung. KI 1\/97 Themenheft Constraints","author":"T Fruhwirth","year":"1997","unstructured":"T. Fruhwirth and S. Abdennadher. Der Mietspiegel im Internet: Ein Fall fur Constraint- Logikprogrammierung. KI 1\/97,Themenheft Constraints, April 1997."},{"issue":"(1+2)","key":"40_CR6","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF00143878","volume":"1","author":"DQ Goldin","year":"1996","unstructured":"D. Q. Goldin and P. C. Kanellakis. Constraint query algebras.Constraints Journal, 1 (1+2): 45 \u2013 83, September 1996.","journal-title":"Constraints Journal"},{"key":"40_CR7","volume-title":"Principles and Practice of Constraint Programming. MIT Press, Cambridge","author":"P Hentenryck Van","year":"1995","unstructured":"P. Van Hentenryck and V.J. Saraswat.Principles and Practice of Constraint Programming. MIT Press, Cambridge, MA, USA, April 1995."},{"key":"40_CR8","volume-title":"LILOG Report","author":"M H\u00f6hfeld","year":"1988","unstructured":"M. H\u00f6hfeld and G. Smolka. Definite relations over constraint languages. LILOG Report 53, IWBS, IBM, Stuttgart, Germany, October 1988."},{"key":"40_CR9","volume-title":"IEEE Expert Magazine, Special Track on Intelligent Telecommunications","author":"P Brisset","year":"1996","unstructured":"P. Brisset J.-R. Molwitz and T. Fr\u00fchwirth. Planning cordless business communication systems. InIEEE Expert Magazine, Special Track on Intelligent Telecommunications, January 1996."},{"key":"40_CR10","volume-title":"Proceedings of the14th ACM Symposium on Principles of Programming Languages PCPL-87, Munich, Germany, pages 111\u2013119","author":"J Jaffar","year":"1987","unstructured":"J. Jaffar and J. L. Lassez. Constraint logic programming. InProceedings of the14th\n                    ACM Symposium on Principles of Programming Languages PCPL-87, Munich, Germany, pages 111\u2013119, 1987."},{"key":"40_CR11","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"20","author":"J Jaffar","year":"1994","unstructured":"J. Jaffar and M. J. Maher. Constraint logic programming: A survey.Journal of Logic Programming, 20: 503 \u2013 581, 1994.","journal-title":"A survey.Journal of Logic Programming"},{"key":"40_CR12","first-page":"858","volume-title":"Proceedings of the Fourth International Conference on Logic Programming","author":"MJ Maher","year":"1987","unstructured":"M. J. Maher. Logic semantics for a class of committed-choice programs. In J.L. Lassez, editor,Proceedings of the Fourth International Conference on Logic Programming, pages 858 - 876. MIT Press, May 1987."},{"key":"40_CR13","volume-title":"MIT Press","author":"VA Saraswat","year":"1993","unstructured":"V.A. Saraswat. ConcurrentConstraint Programming. MIT Press, 1993."},{"key":"40_CR14","volume-title":"The Art of Prolog. MIT Press","author":"L Sterling","year":"1994","unstructured":"L. Sterling and E. Shapiro.The Art of Prolog. MIT Press, 1994."},{"issue":"(1\u20133)","key":"40_CR15","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0004-3702(92)90006-J","volume":"58","author":"P Hentenryck van","year":"1992","unstructured":"P. van Hentenryck, H. Simonis, and M. Dincbas. Constraint satisfaction using constraint logic programming.Artificial Intelligence, 58 (1\u20133): 113 \u2013 159, 1992.","journal-title":"Artificial Intelligence"},{"key":"40_CR16","volume-title":"Practical applications of constraint programming.Constraints Journal, 1(1,2):139\u2013168","author":"M Wallace","year":"1996","unstructured":"M. Wallace. Practical applications of constraint programming.Constraints Journal, 1(1,2):139\u2013168, September 1996. Kluwer Academic Publishers."}],"container-title":["Informatik aktuell","Informatik \u201997 Informatik als Innovationsmotor"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-60831-5_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T12:09:52Z","timestamp":1620302992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-60831-5_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630661","9783642608315"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-60831-5_40","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1997]]}}}