{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T11:04:27Z","timestamp":1743159867409,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540859574"},{"type":"electronic","value":"9783540859581"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85958-1_44","type":"book-chapter","created":{"date-parts":[[2008,9,20]],"date-time":"2008-09-20T03:26:13Z","timestamp":1221881173000},"page":"571-575","source":"Crossref","is-referenced-by-count":5,"title":["Perfect Derived Propagators"],"prefix":"10.1007","author":[{"given":"Christian","family":"Schulte","sequence":"first","affiliation":[]},{"given":"Guido","family":"Tack","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"44_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-61735-3_4","volume-title":"Algebraic and Logic Programming","author":"F. Benhamou","year":"1996","unstructured":"Benhamou, F.: Heterogeneous Constraint Solving. In: Hanus, M., Rodr\u00edguez-Artalejo, M. (eds.) ALP 1996. LNCS, vol.\u00a01139, pp. 62\u201376. Springer, Heidelberg (1996)"},{"key":"44_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BFb0033845","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"M. Carlsson","year":"1997","unstructured":"Carlsson, M., Ottosson, G., Carlson, B.: An open-ended finite domain constraint solver. In: Glaser, H., Hartel, P.H., Kuchen, H. (eds.) PLILP 1997. LNCS, vol.\u00a01292, pp. 191\u2013206. Springer, Heidelberg (1997)"},{"key":"44_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/11941439_9","volume-title":"AI 2006: Advances in Artificial Intelligence","author":"C.W. Choi","year":"2006","unstructured":"Choi, C.W., Harvey, W., Lee, J.H.M., Stuckey, P.J.: Finite domain bounds consistency revisited. In: Sattar, A., Kang, B.-H. (eds.) AI 2006. LNCS (LNAI), vol.\u00a04304, pp. 49\u201358. Springer, Heidelberg (2006)"},{"key":"44_CR4","unstructured":"Gecode: Generic constraint development environment (2008), http:\/\/www.gecode.org\/"},{"key":"44_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-45619-8_11","volume-title":"Logic Programming","author":"M.J. Maher","year":"2002","unstructured":"Maher, M.J.: Propagation completeness of reactive constraints. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol.\u00a02401, pp. 148\u2013162. Springer, Heidelberg (2002)"},{"key":"44_CR6","first-page":"513","volume-title":"Proceedings of the International Symposium on Logic Programming","author":"J.-F. Puget","year":"1995","unstructured":"Puget, J.-F., Leconte, M.: Beyond the glass box: Constraints as objects. In: Lloyd, J. (ed.) Proceedings of the International Symposium on Logic Programming, Portland, OR, USA, pp. 513\u2013527. The MIT Press, Cambridge (1995)"},{"key":"44_CR7","doi-asserted-by":"crossref","unstructured":"Schulte, C., Stuckey, P.J.: Efficient constraint propagation engines. In: Transactions on Programming Languages and Systems (to appear, 2008)","DOI":"10.1145\/1462166.1462170"},{"key":"44_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/11754602_9","volume-title":"Recent Advances in Constraints","author":"C. Schulte","year":"2006","unstructured":"Schulte, C., Tack, G.: Views and iterators for generic constraint implementations. In: Hnich, B., Carlsson, M., Fages, F., Rossi, F. (eds.) CSCLP 2005. LNCS (LNAI), vol.\u00a03978, pp. 118\u2013132. Springer, Heidelberg (2006)"},{"key":"44_CR9","doi-asserted-by":"crossref","unstructured":"Schulte, C., Tack, G.: Perfect derived propagators (June 2008), http:\/\/arxiv.org\/abs\/0806.1806","DOI":"10.1007\/978-3-540-85958-1_44"},{"issue":"1\u20133","key":"44_CR10","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0743-1066(98)10006-7","volume":"37","author":"P. Van Hentenryck","year":"1998","unstructured":"Van Hentenryck, P., Saraswat, V., Deville, Y.: Design, implementation, and evaluation of the constraint language cc(FD). The Journal of Logic Programming\u00a037(1\u20133), 139\u2013164 (1998)","journal-title":"The Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85958-1_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T00:45:42Z","timestamp":1738370742000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-85958-1_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540859574","9783540859581"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85958-1_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}