{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T13:12:18Z","timestamp":1648732338803},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2017,5,29]],"date-time":"2017-05-29T00:00:00Z","timestamp":1496016000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1007\/s10472-017-9552-z","type":"journal-article","created":{"date-parts":[[2017,5,29]],"date-time":"2017-05-29T08:37:29Z","timestamp":1496047049000},"page":"241-271","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On tree-preserving constraints"],"prefix":"10.1007","volume":"81","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":[[2017,5,29]]},"reference":[{"issue":"1","key":"9552_CR1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/s10601-009-9080-5","volume":"16","author":"C Bessiere","year":"2011","unstructured":"Bessiere, C., Cardon, S., Debruyne, R., Lecoutre, C.: Efficient algorithms for singleton arc consistency. Constraints 16(1), 25\u201353 (2011)","journal-title":"Constraints"},{"issue":"1","key":"9552_CR2","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/j.artint.2007.09.001","volume":"172","author":"C Bessiere","year":"2008","unstructured":"Bessiere, C., Debruyne, R.: Theoretical analysis of singleton arc consistency and its extensions. Artif. Intell. 172(1), 29\u201341 (2008)","journal-title":"Artif. Intell."},{"issue":"2","key":"9552_CR3","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/j.artint.2005.02.004","volume":"165","author":"C Bessiere","year":"2005","unstructured":"Bessiere, C., R\u00e9gin, J., Yap, R.H.C., Zhang, Y.: An optimal coarse-grained arc consistency algorithm. Artif. Intell. 165(2), 165\u2013185 (2005)","journal-title":"Artif. Intell."},{"key":"9552_CR4","first-page":"456","volume-title":"IJCAI","author":"C Bliek","year":"1999","unstructured":"Bliek, C., Sam-Haroud, D.: Path consistency on triangulated constraint graphs. In: IJCAI, pp. 456\u2013461 (1999)"},{"key":"9552_CR5","first-page":"183","volume-title":"CP","author":"AA Bulatov","year":"2003","unstructured":"Bulatov, A.A., Jeavons, P.: An algebraic approach to multi-sorted constraints. In: CP, pp. 183\u2013198 (2003)"},{"issue":"1","key":"9552_CR6","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1093\/logcom\/exr039","volume":"23","author":"H Chen","year":"2011","unstructured":"Chen, H., Dalmau, V., Gru\u00dfien, B.: Arc consistency and friends. J. Log. Comput. 23(1), 87\u2013108 (2011)","journal-title":"J. Log. Comput."},{"issue":"1","key":"9552_CR7","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0004-3702(71)90005-1","volume":"2","author":"MB Clowes","year":"1971","unstructured":"Clowes, M.B.: On seeing things. Artif. Intell. 2(1), 79\u2013116 (1971)","journal-title":"Artif. Intell."},{"key":"9552_CR8","first-page":"212","volume-title":"AAAI","author":"V Conitzer","year":"2004","unstructured":"Conitzer, V., Derryberry, J., Sandholm, T.: Combinatorial auctions with structured item graphs. In: AAAI, pp. 212\u2013218 (2004)"},{"issue":"1","key":"9552_CR9","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/S0004-3702(98)00118-0","volume":"108","author":"MC Cooper","year":"1999","unstructured":"Cooper, M.C.: Linear-time algorithms for testing the realisability of line drawings of curved objects. Artif. Intell. 108(1), 31\u201367 (1999)","journal-title":"Artif. Intell."},{"key":"9552_CR10","first-page":"30","volume-title":"ECAI","author":"MC Cooper","year":"2008","unstructured":"Cooper, M.C., Jeavons, P.G., Salamon, A.Z.: Hybrid tractable CSPs which generalize tree structure. In: ECAI, pp. 30\u2013534 (2008)"},{"key":"9552_CR11","first-page":"9","volume-title":"CP","author":"MC Cooper","year":"2014","unstructured":"Cooper, M.C., Mouelhi, A.E., Terrioux, C., Zanuttini, B.: On broken triangles. In: CP, pp. 9\u201324 (2014)"},{"issue":"1","key":"9552_CR12","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(92)90043-W","volume":"55","author":"R Dechter","year":"1992","unstructured":"Dechter, R.: From local to global consistency. Artif. Intell. 55(1), 87\u2013107 (1992)","journal-title":"Artif. Intell."},{"key":"9552_CR13","unstructured":"Dechter, R.: Constraint processing. Morgan Kaufmann (2003)"},{"issue":"1-3","key":"9552_CR14","doi-asserted-by":"crossref","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. Artif. Intell. 49(1-3), 61\u201395 (1991)","journal-title":"Artif. Intell."},{"issue":"1-2","key":"9552_CR15","doi-asserted-by":"crossref","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. Artif. Intell. 109(1-2), 243\u2013271 (1999)","journal-title":"Artif. Intell."},{"issue":"1","key":"9552_CR16","doi-asserted-by":"crossref","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 J. Comput. 28(1), 57\u2013104 (1998)","journal-title":"SIAM J. Comput."},{"issue":"11","key":"9552_CR17","doi-asserted-by":"crossref","first-page":"958","DOI":"10.1145\/359642.359654","volume":"21","author":"EC Freuder","year":"1978","unstructured":"Freuder, E.C.: Synthesizing constraint expressions. Commun. ACM 21(11), 958\u2013966 (1978)","journal-title":"Commun. ACM"},{"issue":"1","key":"9552_CR18","doi-asserted-by":"crossref","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. J. ACM 29(1), 24\u201332 (1982)","journal-title":"J. ACM"},{"issue":"1","key":"9552_CR19","first-page":"295","volume":"6","author":"DA Huffman","year":"1971","unstructured":"Huffman, D.A.: Impossible objects as nonsense sentences. Mach. Intell. 6(1), 295\u2013323 (1971)","journal-title":"Mach. Intell."},{"issue":"1-2","key":"9552_CR20","doi-asserted-by":"crossref","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. Artif. Intell. 101(1-2), 251\u2013265 (1998)","journal-title":"Artif. Intell."},{"issue":"4","key":"9552_CR21","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1145\/263867.263489","volume":"44","author":"P Jeavons","year":"1997","unstructured":"Jeavons, P., Cohen, D.A., Gyssens, M.: Closure properties of constraints. J. ACM 44(4), 527\u2013548 (1997)","journal-title":"J. ACM"},{"issue":"2","key":"9552_CR22","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1109\/34.44400","volume":"12","author":"LM Kirousis","year":"1990","unstructured":"Kirousis, L.M.: Effectively labelling planar projections of polyhedra. IEEE Trans. Pattern Anal. Mach. Intell. 12(2), 123\u2013130 (1990)","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"key":"9552_CR23","first-page":"175","volume-title":"FOCS","author":"LM Kirousis","year":"1985","unstructured":"Kirousis, L.M., Papadimitriou, C.H.: The complexity of recognizing polyhedral scenes. In: FOCS, pp. 175\u2013185 (1985)"},{"key":"9552_CR24","unstructured":"Kj\u00e6rulff, U.: Triangulation of graphs \u2013 algorithms giving small total state space. Tech rep (1990)"},{"key":"9552_CR25","first-page":"203","volume-title":"AAMAS","author":"S Kong","year":"2017","unstructured":"Kong, S., Lee, J.H., Li, S.: A deterministic distributed algorithm for reasoning with connected row-convex constraints. In: AAMAS, pp. 203\u2013211 (2017)"},{"key":"9552_CR26","first-page":"244","volume-title":"CP","author":"S Kong","year":"2015","unstructured":"Kong, S., Li, S., Li, Y., Long, Z.: On tree-preserving constraints. In: CP, pp. 244\u2013261 (2015)"},{"key":"9552_CR27","first-page":"74","volume-title":"AAAI","author":"TKS Kumar","year":"2006","unstructured":"Kumar, T.K.S.: Simple randomized algorithms for tractable row and tree convex constraints. In: AAAI, pp. 74\u201379 (2006)"},{"key":"9552_CR28","first-page":"237","volume-title":"AAAI","author":"C Lecoutre","year":"2007","unstructured":"Lecoutre, C., Cardon, S., Vion, J.: Conservative dual consistency. In: AAAI, pp. 237\u2013242 (2007)"},{"key":"9552_CR29","first-page":"438","volume-title":"CP","author":"C Lecoutre","year":"2007","unstructured":"Lecoutre, C., Cardon, S., Vion, J.: Path consistency by dual consistency. In: CP, pp. 438\u2013452 (2007)"},{"key":"9552_CR30","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1613\/jair.3180","volume":"40","author":"C Lecoutre","year":"2011","unstructured":"Lecoutre, C., Cardon, S., Vion, J.: Second-order consistencies. J. Artif. Intell. Res. 40, 175\u2013219 (2011)","journal-title":"J. Artif. Intell. Res."},{"key":"9552_CR31","doi-asserted-by":"crossref","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. Artif. Intell. 201, 32\u201358 (2013)","journal-title":"Artif. Intell."},{"issue":"1","key":"9552_CR32","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"AK Mackworth","year":"1977","unstructured":"Mackworth, A.K.: Consistency in networks of relations. Artif. Intell. 8(1), 99\u2013118 (1977)","journal-title":"Artif. Intell."},{"key":"9552_CR33","first-page":"31","volume-title":"ACL","author":"H Maruyama","year":"1990","unstructured":"Maruyama, H.: Structural disambiguation with constraint propagation. In: ACL, pp. 31\u201338 (1990)"},{"key":"9552_CR34","doi-asserted-by":"crossref","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. Inf. Sci. 7, 95\u2013132 (1974)","journal-title":"Inf. Sci."},{"key":"9552_CR35","unstructured":"Van Beek, P., Dechter, R.: On the minimality and global consistency of row-convex constraint networks. J. ACM 42(3), 543\u2013561 (1995)"},{"key":"9552_CR36","unstructured":"Zhang, Y., Freuder, E.C.: Tractable tree convex constraint networks. In: AAAI, pp. 197\u2013203 (2004)"},{"issue":"12-13","key":"9552_CR37","doi-asserted-by":"crossref","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. Artif. Intell. 172(12-13), 1605\u20131612 (2008)","journal-title":"Artif. Intell."},{"key":"9552_CR38","first-page":"263","volume-title":"IJCAI","author":"Y Zhang","year":"2003","unstructured":"Zhang, Y., Yap, R.H.C.: Consistency and Set Intersection. In: IJCAI, pp. 263\u2013270 (2003)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-017-9552-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-017-9552-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-017-9552-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T02:24:48Z","timestamp":1569378288000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-017-9552-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,29]]},"references-count":38,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2017,12]]}},"alternative-id":["9552"],"URL":"https:\/\/doi.org\/10.1007\/s10472-017-9552-z","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,5,29]]}}}