{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T04:12:21Z","timestamp":1746245541563,"version":"3.40.4"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319070452"},{"type":"electronic","value":"9783319070469"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07046-9_17","type":"book-chapter","created":{"date-parts":[[2014,5,12]],"date-time":"2014-05-12T02:07:28Z","timestamp":1399860448000},"page":"235-250","source":"Crossref","is-referenced-by-count":2,"title":["Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency"],"prefix":"10.1007","author":[{"given":"Jean-Baptiste","family":"Mairy","sequence":"first","affiliation":[]},{"given":"Yves","family":"Deville","sequence":"additional","affiliation":[]},{"given":"Christophe","family":"Lecoutre","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","volume-title":"Handbook of Constraint Programming","author":"C. Bessiere","year":"2006","unstructured":"Bessiere, C.: Constraint propagation. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming. Elsevier, New York (2006)"},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-540-48085-3_8","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"C. Bessi\u00e8re","year":"1999","unstructured":"Bessi\u00e8re, C., R\u00e9gin, J.-C.: Enforcing arc consistency on global constraints by solving subproblems on the fly. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 103\u2013117. Springer, Heidelberg (1999)"},{"issue":"6-7","key":"17_CR3","doi-asserted-by":"publisher","first-page":"800","DOI":"10.1016\/j.artint.2007.10.016","volume":"72","author":"C. Bessiere","year":"2008","unstructured":"Bessiere, C., Stergiou, K., Walsh, T.: Domain filtering consistencies for non-binary constraints. Artificial Intelligence\u00a072(6-7), 800\u2013822 (2008)","journal-title":"Artificial Intelligence"},{"key":"17_CR4","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1613\/jair.834","volume":"14","author":"R. Debruyne","year":"2001","unstructured":"Debruyne, R., Bessi\u00e8re, C.: Domain filtering consistencies. Journal of Artificial Intelligence Research\u00a014, 205\u2013230 (2001)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"3","key":"17_CR5","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1145\/5666.5673","volume":"29","author":"P. Fleming","year":"1986","unstructured":"Fleming, P., Wallace, J.: How not to lie with statistics: the correct way to summarize benchmark results. Communications of the ACM\u00a029(3), 218\u2013221 (1986)","journal-title":"Communications of the ACM"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Janssen, P., J\u00e9gou, P., Nouguier, B., Vilarem, M.-C.: 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 (1989)","DOI":"10.1109\/TAI.1989.65349"},{"key":"17_CR7","unstructured":"J\u00e9gou, P.: Contribution \u00e0 l\u2019\u00e9tude des Probl\u00e8mes de Satisfaction de Contraintes: Algorithmes de propagation et de r\u00e9solution. Propagation de contraintes dans les r\u00e9seaux dynamique. PhD thesis, Universit\u00e9 de Montpellier II (1991)"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Karakashian, S., Woodward, R., Reeson, C., Choueiry, B., Bessiere, C.: A first practical algorithm for high levels of relational consistency. In: Proceedings of AAAI 2010, pp. 101\u2013107 (2010)","DOI":"10.1609\/aaai.v24i1.7535"},{"key":"17_CR9","unstructured":"Lecoutre, C.: Instances of the Constraint Solver Competition, http:\/\/www.cril.fr\/~lecoutre\/"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Lecoutre, C.: Constraint Networks: Techniques and Algorithms. ISTE\/Wiley (2009)","DOI":"10.1002\/9780470611821"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Lecoutre, C., Paparrizou, A., Stergiou, K.: Extending STR to a higher-order consistency. In: Proceedings of AAAI 2013, pp. 576\u2013582 (2013)","DOI":"10.1609\/aaai.v27i1.8622"},{"key":"17_CR12","unstructured":"Lhomme, O.: Practical reformulations with table constraints. In: Proceedings of ECAI 2012, pp. 911\u2013912 (2012)"},{"issue":"1","key":"17_CR13","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"Mackworth, A.K.: Consistency in networks of relations. Artificial Intelligence\u00a08(1), 99\u2013118 (1977)","journal-title":"Artificial Intelligence"},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1007\/978-3-642-33558-7_37","volume-title":"Principles and Practice of Constraint Programming","author":"J.-B. Mairy","year":"2012","unstructured":"Mairy, J.-B., Van Hentenryck, P., Deville, Y.: An optimal filtering algorithm for table constraints. In: Milano, M. (ed.) CP 2012. LNCS, vol.\u00a07514, pp. 496\u2013511. Springer, Heidelberg (2012)"},{"key":"17_CR15","unstructured":"Paparrizou, A., Stergiou, K.: An efficient higher-order consistency algorithm for table constraints. In: Proceedings of AAAI 2012, pp. 335\u2013541 (2012)"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Stergiou, K.: Strong inverse consistencies for non-binary CSPs. In: Proceedings of ICTAI 2007, pp. 215\u2013222 (2007)","DOI":"10.1109\/ICTAI.2007.9"},{"issue":"5","key":"17_CR17","doi-asserted-by":"publisher","first-page":"781","DOI":"10.1142\/S0218213008004163","volume":"17","author":"K. Stergiou","year":"2008","unstructured":"Stergiou, K.: Strong domain filtering consistencies for non-binary constraint satisfaction problems. International Journal on Artificial Intelligence Tools\u00a017(5), 781\u2013802 (2008)","journal-title":"International Journal on Artificial Intelligence Tools"},{"key":"17_CR18","unstructured":"van Dongen, M., Lecoutre, C., Roussel, O.: CSP solver competition (2008), http:\/\/www.cril.univ-artois.fr\/CPAI08\/"},{"key":"17_CR19","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-642-19486-3_6","volume-title":"Recent Advances in Constraints","author":"J. Vion","year":"2011","unstructured":"Vion, J., Petit, T., Jussien, N.: Integrating strong local consistencies into constraint solvers. In: Larrosa, J., O\u2019Sullivan, B. (eds.) CSCLP 2009. LNCS (LNAI), vol.\u00a06384, pp. 90\u2013104. Springer, Heidelberg (2011)"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Woodward, R., Karakashian, S., Choueiry, B., Bessiere, C.: Solving difficult CSPs with relational neighborhood inverse consistency. In: Proceedings of AAAI 2011, pp. 112\u2013119 (2011)","DOI":"10.1609\/aaai.v25i1.7825"},{"issue":"8-9","key":"17_CR21","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1016\/j.artint.2007.04.001","volume":"171","author":"K. Xu","year":"2007","unstructured":"Xu, K., Boussemart, F., Hemery, F., Lecoutre, C.: Random constraint satisfaction: easy generation of hard (satisfiable) instances. Artificial Intelligence\u00a0171(8-9), 514\u2013534 (2007)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Integration of AI and OR Techniques in Constraint Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07046-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T21:47:20Z","timestamp":1746222440000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07046-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319070452","9783319070469"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07046-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}