{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T10:19:16Z","timestamp":1743070756946,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319596044"},{"type":"electronic","value":"9783319596051"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-59605-1_9","type":"book-chapter","created":{"date-parts":[[2017,5,22]],"date-time":"2017-05-22T15:06:26Z","timestamp":1495465586000},"page":"91-102","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Broken-Triangle Property with Adjoint Values"],"prefix":"10.1007","author":[{"given":"Jian","family":"Gao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rong","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minghao","family":"Yin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hui","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,23]]},"reference":[{"key":"9_CR1","volume-title":"Constraint Processing","author":"R Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. Morgan Kaufmann, Burlington (2003)"},{"issue":"2","key":"9_CR2","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/s10601-015-9198-6","volume":"21","author":"C Carbonnel","year":"2016","unstructured":"Carbonnel, C., Cooper, M.C.: Tractability in constraint satisfaction problems: a survey. Constraints 21(2), 115\u2013144 (2016)","journal-title":"Constraints"},{"issue":"9\u201310","key":"9_CR3","doi-asserted-by":"publisher","first-page":"570","DOI":"10.1016\/j.artint.2010.03.002","volume":"174","author":"MC Cooper","year":"2010","unstructured":"Cooper, M.C., Jeavons, P.G., Salamon, A.Z.: Generalizing constraint satisfaction on trees: hybrid tractability and variable elimination. Artif. Intell. 174(9\u201310), 570\u2013584 (2010)","journal-title":"Artif. Intell."},{"key":"9_CR4","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1613\/jair.3651","volume":"45","author":"DA Cohen","year":"2012","unstructured":"Cohen, D.A., Cooper, M.C., Creed, P., Marx, D., Salamon, A.Z.: The tractability of CSP classes defined by forbidden patterns. J. Artif. Intell. Res. (JAIR) 45, 47\u201378 (2012)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"9_CR5","unstructured":"Cohen, D.A., Cooper, M.C., Jeavons, P.G., Zivny, S.: Tractable classes of binary CSPs defined by excluded topological minors. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, 25\u201331 July 2015, pp. 1945\u20131951 (2015)"},{"key":"9_CR6","unstructured":"Thorstensen, E.: Hybrid tractability of constraint satisfaction problems with global constraints. Ph.D. thesis, University of Oxford (2013)"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1016\/j.artint.2016.02.001","volume":"234","author":"MC Cooper","year":"2016","unstructured":"Cooper, M.C., Duchein, A., Mouelhi, A.E., Escamocher, G., Terrioux, C., Zanuttini, B.: Broken triangles: from value merging to a tractable class of general-arity constraint satisfaction problems. Artif. Intell. 234, 196\u2013218 (2016)","journal-title":"Artif. Intell."},{"key":"9_CR8","unstructured":"Cooper, M.C., Jeavons, P.G., Salamon, A.Z.: Hybrid tractable CSPs which generalize tree structure. In: Proceedings of the ECAI 2008, pp. 530\u2013534. IOS Press (2008)"},{"key":"9_CR9","volume-title":"Proceedings of the IJCAI, IJCAI 2013","author":"DA Cohen","year":"2013","unstructured":"Cohen, D.A., Cooper, M.C., Escamocher, G., Zivny, S.: Variable elimination in binary CSP via forbidden patterns. In: Rossi, F. (ed.) Proceedings of the IJCAI, IJCAI 2013. AAAI, Menlo Park (2013)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Mouelhi, A.E., J\u00e9gou, P., Terrioux, C., Classes, H.T.: From theory to practice. In: Proceedings of the ICTAI 2014, pp. 437\u2013445 (2014)","DOI":"10.1109\/ICTAI.2014.73"},{"issue":"9\u201310","key":"9_CR11","doi-asserted-by":"publisher","first-page":"1555","DOI":"10.1016\/j.artint.2011.02.003","volume":"175","author":"MC Cooper","year":"2011","unstructured":"Cooper, M.C., Zivny, S.: Hybrid tractability of valued constraint problems. Artif. Intell. 175(9\u201310), 1555\u20131569 (2011)","journal-title":"Artif. Intell."},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Gao, J., Yin, M., Zhou, J.: Hybrid tractable classes of binary quantified constraint satisfaction problems. In: Burgard, W., Roth, D. (eds.) Proceedings of the AAAI 2011. AAAI Press (2011)","DOI":"10.1609\/aaai.v25i1.8049"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"J\u00e9gou, P., Terrioux, C.: The extendable-triple property: a new CSP tractable class beyond BTP. In: Proceedings of the AAAI 2015 (2015)","DOI":"10.1609\/aaai.v29i1.9754"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Mouelhi, A.E., J\u00e9gou, P., Terrioux, C.: A hybrid tractable class for non-binary CSPs. In: Proceedings of the ICTAI 2013, pp. 947\u2013954. IEEE Computer Society (2013)","DOI":"10.1109\/ICTAI.2013.144"},{"issue":"4","key":"9_CR15","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1080\/0952813X.2012.721138","volume":"25","author":"W Naanaa","year":"2013","unstructured":"Naanaa, W.: Unifying and extending hybrid tractable classes of CSPs. J. Exp. Theor. Artif. Intell. 25(4), 407\u2013424 (2013)","journal-title":"J. Exp. Theor. Artif. Intell."},{"key":"9_CR16","unstructured":"Bessi\u00e8re, C., R\u00e9gin, J.: Refining the basic constraint propagation algorithm. In: Nebel, B. (ed.) Proceedings of the IJCAI 2001, pp. 309\u2013315. Morgan Kaufmann (2001)"},{"issue":"1\u20132","key":"9_CR17","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1142\/S0218213096000092","volume":"5","author":"M Singh","year":"1996","unstructured":"Singh, M.: Path consistency revisited. Int. J. Artif. Intell. Tools 5(1\u20132), 127\u2013142 (1996)","journal-title":"Int. J. Artif. Intell. Tools"},{"issue":"8\u20139","key":"9_CR18","doi-asserted-by":"publisher","first-page":"1094","DOI":"10.1016\/j.artint.2007.12.001","volume":"172","author":"MJ Green","year":"2008","unstructured":"Green, M.J., Cohen, D.A.: Domain permutation reduction for constraint satisfaction problems. Artif. Intell. 172(8\u20139), 1094\u20131118 (2008)","journal-title":"Artif. Intell."},{"issue":"2","key":"9_CR19","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1016\/0004-3702(95)00107-7","volume":"79","author":"P Jeavons","year":"1995","unstructured":"Jeavons, P., Cooper, M.C.: Tractable constraints on ordered domains. Artif. Intell. 79(2), 327\u2013339 (1995)","journal-title":"Artif. Intell."}],"container-title":["Lecture Notes in Computer Science","Frontiers in Algorithmics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-59605-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T15:26:05Z","timestamp":1710343565000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-59605-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319596044","9783319596051"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59605-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"23 May 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FAW","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Frontiers in Algorithmics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Chengdu","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 June 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"faw2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/faw2017.uestc.edu.cn","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}