{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:44:22Z","timestamp":1725522262773},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540899815"},{"type":"electronic","value":"9783540899822"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-89982-2_50","type":"book-chapter","created":{"date-parts":[[2008,12,15]],"date-time":"2008-12-15T03:09:15Z","timestamp":1229310555000},"page":"606-620","source":"Crossref","is-referenced-by-count":1,"title":["Efficient Algorithms for Functional Constraints"],"prefix":"10.1007","author":[{"given":"Yuanlin","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Roland H. C.","family":"Yap","sequence":"additional","affiliation":[]},{"given":"Chendong","family":"Li","sequence":"additional","affiliation":[]},{"given":"Satyanarayana","family":"Marisetti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"50_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/3-540-61551-2_63","volume-title":"Principles and Practice of Constraint Programming - CP\u201996","author":"M.S. Affane","year":"1996","unstructured":"Affane, M.S., Bennaceur, H.: A Labelling Arc Consistency Method for Functional Constraints. In: Freuder, E.C. (ed.) CP 1996. LNCS, vol.\u00a01118, pp. 16\u201330. Springer, Heidelberg (1996)"},{"issue":"2","key":"50_CR2","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.artint.2005.02.004","volume":"165","author":"C. Bessiere","year":"2005","unstructured":"Bessiere, C., Regin, J.C., Yap, R.H.C., Zhang, Y.: An Optimal Coarse-grained Arc Consistency Algorithm. Artificial Intelligence\u00a0165(2), 165\u2013185 (2005)","journal-title":"Artificial Intelligence"},{"key":"50_CR3","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1613\/jair.167","volume":"2","author":"P. David","year":"1995","unstructured":"David, P.: Using Pivot Consistency to Decompose and Solve Functional CSPs. J. of Artificial Intelligence Research\u00a02, 447\u2013474 (1995)","journal-title":"J. of Artificial Intelligence Research"},{"key":"50_CR4","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/S0004-3702(99)00059-4","volume":"113","author":"R. Dechter","year":"1999","unstructured":"Dechter, R.: Bucket elimination: A Unifying Framework for Reasoning. Artificial Intelligence\u00a0113, 41\u201385 (1999)","journal-title":"Artificial Intelligence"},{"issue":"3","key":"50_CR5","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"Jaffar, J., Michaylov, S., Stuckey, P.J., Yap, R.H.C.: The CLP(\n                      \n                        \n                      \n                      $\\cal R$\n                    ) Language and System. ACM Trans. on Programming Languages and Systems\u00a014(3), 339\u2013395 (1992)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"50_CR6","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. J. of Logic Programming\u00a019\/20, 503\u2013581 (1994)","journal-title":"J. of Logic Programming"},{"key":"50_CR7","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/0004-3702(93)90063-H","volume":"64","author":"L.M. Kirousis","year":"1993","unstructured":"Kirousis, L.M.: Fast Parallel Constraint Satisfaction. Artificial Intelligence\u00a064, 147\u2013160 (1993)","journal-title":"Artificial Intelligence"},{"key":"50_CR8","first-page":"119","volume-title":"IJCAI 1995","author":"B. Liu","year":"1995","unstructured":"Liu, B.: Increasing Functional Constraints Need to be Checked Only Once. In: IJCAI 1995, pp. 119\u2013125. Morgan Kaufmann, San Francisco (1995)"},{"key":"#cr-split#-50_CR9.1","doi-asserted-by":"crossref","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, vol.??3978, pp. 118???132. Springer, Heidelberg (2006);","DOI":"10.1007\/11754602_9"},{"key":"#cr-split#-50_CR9.2","unstructured":"In: van Beek, P. (ed.) CP 2005. LNCS, vol.??3709, pp. 817???821. Springer, Heidelberg (2005)"},{"issue":"2","key":"50_CR10","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0004-3702(77)90029-7","volume":"9","author":"R.M. Stallman","year":"1977","unstructured":"Stallman, R.M., Sussman, G.J.: Forward Reasoning and Dependency-directed Backtracking in a System for Computer-aided Circuit Analysis. Artificial Intelligence\u00a09(2), 135\u2013196 (1977)","journal-title":"Artificial Intelligence"},{"key":"50_CR11","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/0004-3702(92)90020-X","volume":"58","author":"P. Hentenryck Van","year":"1992","unstructured":"Van Hentenryck, P., Deville, Y., Teng, C.M.: A Generic Arc-consistency Algorithm and its Specializations. Artificial Intelligence\u00a058, 291\u2013321 (1992)","journal-title":"Artificial Intelligence"},{"key":"50_CR12","first-page":"275","volume-title":"AAAI 1999","author":"Y. Zhang","year":"1999","unstructured":"Zhang, Y., Yap, R.H.C., Jaffar, J.: Functional Elimination and 0\/1\/All Constraints. In: AAAI 1999, pp. 275\u2013281. AAAI Press, Menlo Park (1999)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89982-2_50","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T10:57:06Z","timestamp":1551697026000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89982-2_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540899815","9783540899822"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89982-2_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}