{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T23:40:47Z","timestamp":1690933247059},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2015,1,30]],"date-time":"2015-01-30T00:00:00Z","timestamp":1422576000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1007\/s10601-014-9179-1","type":"journal-article","created":{"date-parts":[[2015,1,29]],"date-time":"2015-01-29T06:31:20Z","timestamp":1422513080000},"page":"163-197","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Strong local consistency algorithms for table constraints"],"prefix":"10.1007","volume":"21","author":[{"given":"Anastasia","family":"Paparrizou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kostas","family":"Stergiou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,1,30]]},"reference":[{"key":"9179_CR1","doi-asserted-by":"crossref","unstructured":"Balafoutis, T., Paparrizou, A., Stergiou, K., Walsh, T. (2010). Improving the performance of maxRPC. In Proceedings of CP\u201910 (pp. 69\u201383).","DOI":"10.1007\/978-3-642-15396-9_9"},{"issue":"4","key":"9179_CR2","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1007\/s10601-011-9110-y","volume":"16","author":"T Balafoutis","year":"2011","unstructured":"Balafoutis, T., Paparrizou, A., Stergiou, K., Walsh, T. (2011). New algorithms for max restricted path consistency. Constraints, 16(4), 372\u2013406.","journal-title":"Constraints"},{"key":"9179_CR3","unstructured":"Balafoutis, T, & Stergiou, K. (2008). Exploiting constraint weights for revision ordering in arc consistency algorithms. In ECAI-08 Workshop on Modeling and Solving Problems with Constraints."},{"key":"9179_CR4","unstructured":"Bessiere, C., & R\u00e9gin, J.C. (1996). Arc consistency for general constraint networks: preliminary results. In Proceedings of IJCAI\u201997 (pp. 398\u2013404)."},{"key":"9179_CR5","unstructured":"Bessiere, C., & R\u00e9gin, J.C. (1996). MAC and combined heuristics: two reasons to forsake FC (and CBJ?). In Proceedings of CP\u201996 (pp. 61\u201375). Cambridge."},{"issue":"2","key":"9179_CR6","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.C., Yap, R., Zhang, Y. (2005). An optimal coarse-grained arc consistency algorithm. Artificial Intelligence, 165(2), 165\u2013185.","journal-title":"Artificial Intelligence"},{"issue":"6\u20137","key":"9179_CR7","doi-asserted-by":"crossref","first-page":"800","DOI":"10.1016\/j.artint.2007.10.016","volume":"172","author":"C Bessiere","year":"2008","unstructured":"Bessiere, C., Stergiou, K., Walsh, T. (2008). Domain filtering consistencies for non-binary constraints. Artificial Intelligence, 172(6\u20137), 800\u2013822.","journal-title":"Artificial Intelligence"},{"key":"9179_CR8","unstructured":"Boussemart, F., Hemery, F., Lecoutre, C., Sais, L. Boosting systematic search by weighting constraints. In: Proceedings of ECAI\u201904. Valencia."},{"issue":"2","key":"9179_CR9","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/s10601-009-9087-y","volume":"15","author":"K Cheng","year":"2010","unstructured":"Cheng, K., & Yap, R. (2010). An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints. Constraints, 15(2), 265\u2013304.","journal-title":"Constraints"},{"key":"9179_CR10","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1613\/jair.834","volume":"14","author":"R Debruyne","year":"2001","unstructured":"Debruyne, R., & Bessiere, C. (2001). Domain filtering consistencies. JAIR, 14, 205\u2013230.","journal-title":"JAIR"},{"key":"9179_CR11","unstructured":"Gent, I.P., Jefferson, C., Miguel, I., Nightingale, P. (2007). Data structures for generalised arc consistency for extensional constraints. In Proceedings of AAAI\u201907 (pp. 191\u2013197)."},{"key":"9179_CR12","doi-asserted-by":"crossref","unstructured":"Janssen, P., J\u00e9gou, P., Nouguier, B., Vilarem, M.C. (1989). A filtering process for general constraint satisfaction problems: Achieving pairwise consistency using an associated binary representation. In Proceedings of IEEE Workshop on Tools for Artificial Intelligence (pp. 420\u2013427).","DOI":"10.1109\/TAI.1989.65349"},{"key":"9179_CR13","unstructured":"J\u00e9gou, P. (1993). On the consistency of general constraint satisfaction problems. In Proceedings of AAAI\u201993 (pp. 114\u2013119)."},{"key":"9179_CR14","doi-asserted-by":"crossref","unstructured":"J\u00e9gou, P., & Terrioux, C. (2010). A new filtering based on decomposition of constraint sub-networks. In Tools with Artificial Intelligence (ICTAI), 2010 22nd IEEE International Conference on, vol. 1 (pp. 263\u2013270).","DOI":"10.1109\/ICTAI.2010.45"},{"key":"9179_CR15","unstructured":"Junker, U. (2007). Preference-based problem solving for constraint programming. In CSCLP (pp. 109\u2013126)."},{"key":"9179_CR16","doi-asserted-by":"crossref","unstructured":"Karakashian, S., Woodward, R., Reeson, C., Choueiry, B., Bessiere, C. (2010). A first practical algorithm for high levels of relational consistency. In Proceedings of AAAI\u201910 (pp. 101\u2013107).","DOI":"10.1609\/aaai.v24i1.7535"},{"key":"9179_CR17","doi-asserted-by":"crossref","unstructured":"Katsirelos, G., & Walsh, T. (2007). A compression algorithm for large arity extensional constraints. In Proceedings of CP\u201907 (pp. 379\u2013393). Springer.","DOI":"10.1007\/978-3-540-74970-7_28"},{"issue":"4","key":"9179_CR18","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/s10601-011-9107-6","volume":"16","author":"C Lecoutre","year":"2011","unstructured":"Lecoutre, C. (2011). STR2: optimized simple tabular reduction for table constraints. Constraints, 16(4), 341\u2013371.","journal-title":"Constraints"},{"key":"9179_CR19","unstructured":"Lecoutre, C., Cardon, S., Vion, J. (2007). Conservative dual consistency. In Proceedings of AAAI\u201907 (pp. 237\u2013242)."},{"issue":"1","key":"9179_CR20","first-page":"175","volume":"40","author":"C Lecoutre","year":"2011","unstructured":"Lecoutre, C., Cardon, S., Artif, J. Vion. Second-order consistencies (2011). Journal International Research, 40(1), 175\u2013219.","journal-title":"Journal International Research"},{"key":"9179_CR21","unstructured":"Lecoutre, C., & Hemery, F. (2007). A study of residual supports in arc cosistency. In Proceedings of IJCAI\u201907 (pp. 125\u2013130)."},{"key":"9179_CR22","unstructured":"Lecoutre, C., Likitvivatanavong, C., Yap, R.H.C. (2012). A path-optimal GAC algorithm for table constraints. In ECAI, (pp. 510\u2013515)."},{"key":"9179_CR23","doi-asserted-by":"crossref","unstructured":"Lecoutre, C., & Szymanek, R. (2006). Generalized arc consistency for positive table constraints. In Proceedings of CP\u201906 (pp. 284\u2013298).","DOI":"10.1007\/11889205_22"},{"key":"9179_CR24","doi-asserted-by":"crossref","unstructured":"Lecoutre, Christophe, Paparrizou, Anastasia, Stergiou, Kostas (2013). Extending STR to a higher-order consistency. In Proceedings of AAAI\u201913 (pp. 576\u2013582).","DOI":"10.1609\/aaai.v27i1.8622"},{"key":"9179_CR25","doi-asserted-by":"crossref","unstructured":"Lhomme, O. (2004). Arc-consistency filtering algorithms for logical combinations of constraints. In Proceedings of CPAIOR\u201904 (pp. 209\u2013224).","DOI":"10.1007\/978-3-540-24664-0_15"},{"key":"9179_CR26","unstructured":"Lhomme, O., & R\u00e9gin, J.C. (2005). A fast arc consistency algorithm for n-ary constraints. In Proceedings of AAAI\u201905 (pp. 405\u2013410)."},{"key":"9179_CR27","doi-asserted-by":"crossref","unstructured":"Likitvivatanavong, C., Xia, W., Yap, R.H.C. (2014). Higher-order consistencies through GAC on factor variables. In Proceedings of CP\u201914 (pp. 497\u2013513).","DOI":"10.1007\/978-3-319-10428-7_37"},{"key":"9179_CR28","unstructured":"Mackworth, A. (1977). On reading sketch maps. In Proceedings of IJCAI\u201977 (pp. 598\u2013606). Cambridge."},{"key":"9179_CR29","doi-asserted-by":"crossref","unstructured":"Mairy, J.B., Hentenryck, P., Deville, Y. (2012). An optimal filtering algorithm for table constraints. In CP (pp. 496\u2013511).","DOI":"10.1007\/978-3-642-33558-7_37"},{"key":"9179_CR30","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0004-3702(86)90083-4","volume":"28","author":"R Mohr","year":"1986","unstructured":"Mohr, R., & Henderson, T. (1986). Arc and path consistency revisited. Artificial Intelligence, 28, 225\u2013233.","journal-title":"Artificial Intelligence"},{"key":"9179_CR31","unstructured":"Paparrizou, A., & Stergiou, K. (2012). An efficient higher-order consistency algorithm for table constraints. In Proceedings of AAAI\u201912 (pp. 535\u2013541)."},{"key":"9179_CR32","doi-asserted-by":"crossref","unstructured":"Stergiou, K. (2007). Strong inverse consistencies for non-binary CSPs. In Proceedings of ICTAI\u201907 (pp. 215\u2013222).","DOI":"10.1109\/ICTAI.2007.9"},{"key":"9179_CR33","unstructured":"Stergiou, K., & Walsh, T. (2006). Inverse Consistencies for non-binary constraints. In Proceedings of ECAI\u201906 (pp. 153\u2013157)."},{"issue":"18","key":"9179_CR34","doi-asserted-by":"crossref","first-page":"3639","DOI":"10.1016\/j.ins.2007.03.030","volume":"177","author":"JR Ullmann","year":"2007","unstructured":"Ullmann, J.R. (2007). Partition search for non-binary constraint satisfaction. Information Science, 177(18), 3639\u20133678.","journal-title":"Information Science"},{"issue":"3","key":"9179_CR35","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1145\/210346.210347","volume":"42","author":"P van Beek","year":"1995","unstructured":"van Beek, P., & Dechter, R. (1995). On the minimality and global consistency of row-convex constraint networks. JACM, 42(3), 543\u2013561.","journal-title":"JACM"},{"key":"9179_CR36","unstructured":"Vion, J., & Debruyne, R. (2009). Light algorithms for maintaining max-RPC during search. In Proceedings of SARA\u201909."},{"key":"9179_CR37","doi-asserted-by":"crossref","unstructured":"Woodward, R.J., Karakashian, S., Choueiry, B.Y., Bessiere, C. (2011). Solving difficult CSPs with relational neighborhood inverse consistency. In Proceedings of AAAI\u201911 (pp. 112\u2013119).","DOI":"10.1609\/aaai.v25i1.7825"},{"key":"9179_CR38","doi-asserted-by":"crossref","unstructured":"Woodward, R.J., Karakashian, S., Choueiry, B.Y., Bessiere, C. (2012). Revisiting neighborhood inverse consistency on binary CSPs. In Proceedings of CP\u201912 (pp. 688\u2013703).","DOI":"10.1007\/978-3-642-33558-7_50"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-014-9179-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-014-9179-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-014-9179-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T23:01:32Z","timestamp":1690930892000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-014-9179-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,30]]},"references-count":38,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,4]]}},"alternative-id":["9179"],"URL":"https:\/\/doi.org\/10.1007\/s10601-014-9179-1","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,1,30]]}}}