{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T03:05:16Z","timestamp":1743131116924,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540009863"},{"type":"electronic","value":"9783540366072"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36607-5_12","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T15:21:25Z","timestamp":1183476085000},"page":"159-170","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["POOC \u2014 A Platform for Object-Oriented Constraint Programming"],"prefix":"10.1007","author":[{"given":"Hans","family":"Schlenker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Ringwelski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,4,15]]},"reference":[{"key":"12_CR1","volume-title":"Unified Modeling Language Semantics and Notation Guide 1.3","author":"G. Booch","year":"2001","unstructured":"G. Booch, J. Rumbaugh, and I. Jacobson. Unified Modeling Language Semantics and Notation Guide 1.3. Rational Software Cooperation, San Jose, CA, 2001."},{"key":"12_CR2","unstructured":"Cosytec. Chip 5, 2001. http:\/\/www.cosytec.com."},{"key":"12_CR3","unstructured":"Daniel Diaz. GNU Prolog, 2001. http:\/\/gnu-prolog.inria.fr."},{"key":"12_CR4","unstructured":"M. Dincbas, P. van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The constraint logic programming language chip. In Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS88), 1988."},{"key":"12_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59115-0","volume-title":"Constraint-Programmierung","author":"T. Fr\u00fchwirth","year":"1997","unstructured":"Thom Fr\u00fchwirth and Slim Abdenadher. Constraint-Programmierung. Springer, Berlin Heidelberg, 1997. In German."},{"key":"12_CR6","volume-title":"Design Patterns","author":"E. Gamma","year":"1995","unstructured":"Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns. Addison Wesley, Reading, MA, 1995."},{"key":"12_CR7","unstructured":"Ian Gent and Toby Walsh. CSPLib, a problem library for constraints, http:\/\/www.csplib.org."},{"key":"12_CR8","unstructured":"[8] P. Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, 1989."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.L. Lassez. Constraint logic programming. In Proceedings of the 14th ACM Symposium on Principles of Programming Languages POPL-87, pages 111\u2013119, 1987.","DOI":"10.1145\/41625.41635"},{"key":"12_CR10","unstructured":"Swedish Institute of Computer Science. SICStus Prolog v3, 2001. http:\/\/www.sics.se\/sicstus.html."},{"key":"12_CR11","first-page":"362","volume":"1","author":"J.-C. Regin","year":"1994","unstructured":"J.-C. Regin. A filtering algorithm for constraints of difference in CSPs. In Proc. 12th Conf. American Assoc. Artificial Intelligence, volume 1, pages 362\u2013367. Amer. Assoc. Artificial Intelligence, 1994.","journal-title":"Proc. 12th Conf. American Assoc. Artificial Intelligence"},{"key":"12_CR12","unstructured":"ILOG S.A. ILOG internet pages, 2001. http:\/\/www.ilog.fr."},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Chritian Schulte. Programming Constraint Services. LNAI 2302. Springer, 2002. PhD thesis.","DOI":"10.1007\/3-540-45945-6"},{"key":"12_CR14","unstructured":"SUN Microsystems, http:\/\/java.sun.com\/j2se\/1.3\/docs\/guide\/jni\/. Java Native Interface (JNI)."},{"key":"12_CR15","series-title":"Technical report","volume-title":"ECLiPSe: A platform for Constraint Logic Programming","author":"M. Wallace","year":"1997","unstructured":"M. Wallace, S. Novello, and J. Schimpf. ECLiPSe: A platform for Constraint Logic Programming. Technical report, IC-Parc, Imperial College, London, UK, 1997."}],"container-title":["Lecture Notes in Computer Science","Recent Advances in Constraints"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36607-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T21:58:10Z","timestamp":1675893490000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-36607-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540009863","9783540366072"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-36607-5_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"15 April 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}