{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T11:59:45Z","timestamp":1743076785383,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319232188"},{"type":"electronic","value":"9783319232195"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-23219-5_18","type":"book-chapter","created":{"date-parts":[[2015,8,12]],"date-time":"2015-08-12T10:17:33Z","timestamp":1439374653000},"page":"244-261","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On Tree-Preserving Constraints"],"prefix":"10.1007","author":[{"given":"Shufeng","family":"Kong","sequence":"first","affiliation":[]},{"given":"Sanjiang","family":"Li","sequence":"additional","affiliation":[]},{"given":"Yongming","family":"Li","sequence":"additional","affiliation":[]},{"given":"Zhiguo","family":"Long","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,13]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Barto, L., Kozik, M.: Constraint satisfaction problems solvable by local consistency methods. Journal of ACM 61(1), 3:1\u20133:19 (2014)","DOI":"10.1145\/2556646"},{"key":"18_CR2","unstructured":"Bliek, C., Sam-Haroud, D.: Path consistency on triangulated constraint graphs. In: IJCAI 1999, pp. 456\u2013461 (1999)"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-540-45193-8_13","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"Andrei A Bulatov","year":"2003","unstructured":"Bulatov, Andrei A., Jeavons, Peter G.: An algebraic approach to multi-sorted constraints. In: Rossi, Francesca (ed.) CP 2003. LNCS, vol. 2833, pp. 183\u2013198. Springer, Heidelberg (2003)"},{"key":"18_CR4","unstructured":"Conitzer, V., Derryberry, J., Sandholm, T.: Combinatorial auctions with structured item graphs. In: AAAI 2004, pp. 212\u2013218 (2004)"},{"issue":"1\u20133","key":"18_CR5","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","volume":"49","author":"R Dechter","year":"1991","unstructured":"Dechter, R., Meiri, I., Pearl, J.: Temporal constraint networks. Artificial Intelligence 49(1\u20133), 61\u201395 (1991)","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"18_CR6","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/S0004-3702(99)00012-0","volume":"109","author":"Y Deville","year":"1999","unstructured":"Deville, Y., Barette, O., Hentenryck, P.V.: Constraint satisfaction over connected row convex constraints. Artificial Intelligence 109(1\u20132), 243\u2013271 (1999)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"18_CR7","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1137\/S0097539794266766","volume":"28","author":"T Feder","year":"1998","unstructured":"Feder, T., Vardi, M.Y.: The computational structure of monotone monadic snp and constraint satisfaction: A study through datalog and group theory. SIAM Journal on Computing 28(1), 57\u2013104 (1998)","journal-title":"SIAM Journal on Computing"},{"issue":"11","key":"18_CR8","doi-asserted-by":"publisher","first-page":"958","DOI":"10.1145\/359642.359654","volume":"21","author":"EC Freuder","year":"1978","unstructured":"Freuder, E.C.: Synthesizing constraint expressions. Communications of the ACM 21(11), 958\u2013966 (1978)","journal-title":"Communications of the ACM"},{"issue":"1","key":"18_CR9","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/322290.322292","volume":"29","author":"EC Freuder","year":"1982","unstructured":"Freuder, E.C.: A sufficient condition for backtrack-free search. Journal of the ACM 29(1), 24\u201332 (1982)","journal-title":"Journal of the ACM"},{"issue":"1","key":"18_CR10","first-page":"295","volume":"6","author":"DA Huffman","year":"1971","unstructured":"Huffman, D.A.: Impossible objects as nonsense sentences. Machine Intelligence 6(1), 295\u2013323 (1971)","journal-title":"Machine Intelligence"},{"issue":"1\u20132","key":"18_CR11","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/S0004-3702(98)00022-8","volume":"101","author":"P Jeavons","year":"1998","unstructured":"Jeavons, P., Cohen, D.A., Cooper, M.C.: Constraints, consistency and closure. Artificial Intelligence 101(1\u20132), 251\u2013265 (1998)","journal-title":"Artificial Intelligence"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Kirousis, L.M., Papadimitriou, C.H.: The complexity of recognizing polyhedral scenes. In: FOCS 1985, pp. 175\u2013185 (1985)","DOI":"10.1109\/SFCS.1985.59"},{"key":"18_CR13","unstructured":"Kumar, T.K.S.: Simple randomized algorithms for tractable row and tree convex constraints. In: AAAI 2006, pp. 74\u201379 (2006)"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1016\/j.artint.2013.05.006","volume":"201","author":"S Li","year":"2013","unstructured":"Li, S., Liu, W., Wang, S.: Qualitative constraint satisfaction problems: An extended framework with landmarks. Artificial Intelligence 201, 32\u201358 (2013)","journal-title":"Artificial Intelligence"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Maruyama, H.: Structural disambiguation with constraint propagation. In: ACL 1990, pp. 31\u201338 (1990)","DOI":"10.3115\/981823.981828"},{"key":"18_CR16","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U Montanari","year":"1974","unstructured":"Montanari, U.: Networks of constraints: Fundamental properties and applications to picture processing. Information Sciences 7, 95\u2013132 (1974)","journal-title":"Information Sciences"},{"issue":"3","key":"18_CR17","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1145\/210346.210347","volume":"42","author":"P Van Beek","year":"1995","unstructured":"Van Beek, P., Dechter, R.: On the minimality and global consistency of row-convex constraint networks. Journal of the ACM 42(3), 543\u2013561 (1995)","journal-title":"Journal of the ACM"},{"issue":"12\u201313","key":"18_CR18","doi-asserted-by":"publisher","first-page":"1605","DOI":"10.1016\/j.artint.2008.05.001","volume":"172","author":"Y Zhang","year":"2008","unstructured":"Zhang, Y., Freuder, E.C.: Properties of tree convex constraints. Artificial Intelligence 172(12\u201313), 1605\u20131612 (2008)","journal-title":"Artificial Intelligence"},{"issue":"12","key":"18_CR19","doi-asserted-by":"publisher","first-page":"1204","DOI":"10.1016\/j.artint.2009.05.004","volume":"173","author":"Y Zhang","year":"2009","unstructured":"Zhang, Y., Marisetti, S.: Solving connected row convex constraints by variable elimination. Artificial Intelligence 173(12), 1204\u20131219 (2009)","journal-title":"Artificial Intelligence"},{"key":"18_CR20","unstructured":"Zhang, Y., Yap, R.H.C.: Consistency and set intersection. In: IJCAI 2003, pp. 263\u2013270 (2003)"}],"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-319-23219-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T21:59:48Z","timestamp":1674251988000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23219-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232188","9783319232195"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23219-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"13 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}