{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:39:44Z","timestamp":1740123584162,"version":"3.37.3"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2021,5,11]],"date-time":"2021-05-11T00:00:00Z","timestamp":1620691200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,5,11]],"date-time":"2021-05-11T00:00:00Z","timestamp":1620691200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Artif Intell Rev"],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1007\/s10462-021-10012-4","type":"journal-article","created":{"date-parts":[[2021,5,11]],"date-time":"2021-05-11T07:03:59Z","timestamp":1620716639000},"page":"5055-5093","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Adaptive constraint propagation in constraint satisfaction: review and evaluation"],"prefix":"10.1007","volume":"54","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5702-9096","authenticated-orcid":false,"given":"Kostas","family":"Stergiou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,5,11]]},"reference":[{"key":"10012_CR1","doi-asserted-by":"crossref","unstructured":"Balafrej A, Bessiere C, Bouyakh E, Trombettoni G (2014) Adaptive singleton-based consistencies. In: Proceedings of the twenty-eighth AAAI conference on artificial intelligence, pp 2601\u20132607","DOI":"10.1609\/aaai.v28i1.9120"},{"key":"10012_CR2","doi-asserted-by":"crossref","unstructured":"Balafrej A, Bessiere C, Coletta R, Bouyakh E (2013) Adaptive parameterized consistency. In: Proceedings of the CP-2013, pp 143\u2013158","DOI":"10.1007\/978-3-642-40627-0_14"},{"key":"10012_CR3","unstructured":"Balafrej A, Bessiere C, Paparrizou A (2015) Multi-armed bandits for adaptive constraint propagation. In: Proceedings of the twenty-fourth international joint conference on artificial intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25\u201331, 2015, pp 290\u2013296"},{"key":"10012_CR4","doi-asserted-by":"crossref","unstructured":"Bennaceur H, Affane M (2001) Partition-k-AC: an efficient filtering technique combining domain partition and arc consistency. In: Principles and practice of constraint programming\u2014CP 2001, 7th international conference, CP 2001, Paphos, Cyprus, November 26\u2013December 1, 2001, Proceedings, pp 560\u2013564","DOI":"10.1007\/3-540-45578-7_39"},{"key":"10012_CR5","doi-asserted-by":"crossref","unstructured":"Berlandier P (1995) Improving domain filtering using restricted path consistency. In: Proceedings of IEEE CAIA\u201995, pp 32\u201337","DOI":"10.1109\/CAIA.1995.378792"},{"key":"10012_CR6","doi-asserted-by":"publisher","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 (2011) Efficient algorithms for singleton ARC consistency. Constraints 16:25\u201353","journal-title":"Constraints"},{"key":"10012_CR7","doi-asserted-by":"crossref","unstructured":"Bessi\u00e8re C, R\u00e9gin J (1996) MAC and combined heuristics: two reasons to forsake FC (and CBJ?). In: Proceedings of CP\u201996. Cambridge MA, pp 61\u201375","DOI":"10.1007\/3-540-61551-2_66"},{"issue":"6\u20137","key":"10012_CR8","doi-asserted-by":"publisher","first-page":"800","DOI":"10.1016\/j.artint.2007.10.016","volume":"172","author":"C Bessi\u00e8re","year":"2008","unstructured":"Bessi\u00e8re C, Stergiou K, Walsh T (2008) Domain filtering consistencies for non-binary constraints. Artif Intell 172(6\u20137):800\u2013822","journal-title":"Artif Intell"},{"key":"10012_CR9","first-page":"3717","volume":"2015","author":"C Bessiere","year":"2015","unstructured":"Bessiere C, Paparrizou A, Stergiou K (2015) Strong bounds consistencies and their application to linear constraints. Proc AAAI 2015:3717\u20133723","journal-title":"Proc AAAI"},{"key":"10012_CR10","unstructured":"Borrett J, Tsang E, Walsh N (1996) Adaptive constraint satisfaction: the quickest first principle. In: Proceedings of ECAI\u201996, pp 160\u2013164"},{"key":"10012_CR11","unstructured":"Boussemart F, Heremy F, Lecoutre C, Sais L (2004) Boosting systematic search by weighting constraints. In: Proceedings of ECAI\u201904, pp 482\u2013486"},{"key":"10012_CR12","doi-asserted-by":"crossref","unstructured":"Debruyne R, Bessi\u00e8re C (1997) From restricted path consistency to max-restricted path consistency. In: Proceedings of CP-97, pp 312\u2013326","DOI":"10.1007\/BFb0017448"},{"key":"10012_CR13","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 (2001) Domain filtering consistencies. JAIR 14:205\u2013230","journal-title":"JAIR"},{"key":"10012_CR14","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/S0304-3975(97)86737-0","volume":"173","author":"R Dechter","year":"1997","unstructured":"Dechter R, van Beek P (1997) Local and global relational consistency. Theoret Comput Sci 173:283\u2013308","journal-title":"Theoret Comput Sci"},{"key":"10012_CR15","doi-asserted-by":"crossref","unstructured":"El\u00a0Sakkout H, Wallace M, Richards B (1996) An instance of adaptive constraint propagation. In: Proceedings of CP\u201996, pp 164\u2013178","DOI":"10.1007\/3-540-61551-2_73"},{"key":"10012_CR16","doi-asserted-by":"crossref","unstructured":"Epstein S, Freuder EC, Wallace R, Morozov A, Samuels B (2002) The adaptive constraint engine. In: Proceedings of CP-2002, pp 525\u2013540","DOI":"10.1007\/3-540-46135-3_35"},{"key":"10012_CR17","unstructured":"Epstein S, Freuder E, Wallace R, Li X (2005) Learning propagation policies. In: Proceedings of the international workshop on constraint propagation and implementation, pp 1\u201315"},{"key":"10012_CR18","unstructured":"Freuder E, Elfe C (1996) Neighborhood inverse consistency preprocessing. In: Proceedings of AAAI\u201996, pp 202\u2013208"},{"key":"10012_CR19","doi-asserted-by":"crossref","unstructured":"Freuder E, Wallace R (1991) Selective relaxation for constraint satisfaction problems. In: Proceedings of ICTAI\u201991","DOI":"10.1109\/TAI.1991.167112"},{"key":"10012_CR20","unstructured":"Gomes C, Selman B, Kautz H (1998) Boosting combinatorial search through randomization. In: Proceedings of AAAI-98, pp 431\u2013437"},{"key":"10012_CR21","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(80)90051-X","volume":"14","author":"R Haralick","year":"1980","unstructured":"Haralick R, Elliot G (1980) Increasing tree search efficiency for constraint satisfaction problems. Artif Intell 14:263\u2013313","journal-title":"Artif Intell"},{"key":"10012_CR22","doi-asserted-by":"crossref","unstructured":"Janssen P, J\u00e9gou P, Nouguier B, Vilarem M (1989) A filtering process for general constraint satisfaction problems: achieving pairwise consistency using an associated binary representation. In: Proceedings of the IEEE workshop on tools for artificial intelligence, pp 420\u2013427","DOI":"10.1109\/TAI.1989.65349"},{"key":"10012_CR23","doi-asserted-by":"crossref","unstructured":"Karakashian S, Woodward R, Reeson C, Choueiry B, Bessi\u00e8re 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":"10012_CR24","unstructured":"Katriel I, Van\u00a0Hentenryck P (2006) Randomized filtering algorithms. Technical report CS-06-09, Brown University"},{"issue":"4","key":"10012_CR25","doi-asserted-by":"publisher","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":"10012_CR26","unstructured":"Lecoutre C, Paparrizou A, Stergiou K (2012) Extending STR to a higher-order consistency. In: Proceedings of AAAI\u201913"},{"key":"10012_CR27","unstructured":"Lhomme O (2005) Quick shaving. In: Proceedings of AAAI\u201905, pp 411\u2013415"},{"key":"10012_CR28","doi-asserted-by":"crossref","unstructured":"Likitvivatanavong C, Wei X, Yap RHC (2014) Higher-order consistencies through GAC on factor variables. In: Principles and practice of constraint programming\u201420th international conference, CP 2014. Proceedings, pp 497\u2013513","DOI":"10.1007\/978-3-319-10428-7_37"},{"key":"10012_CR29","unstructured":"Mehta D, van Dongen M (2007) Probabilistic consistency boosts MAC and SAC. In: Proceedings of IJCAI\u201907, pp 143\u2013148"},{"key":"10012_CR30","doi-asserted-by":"crossref","unstructured":"Michel L, Van\u00a0Hentenryck P (2012) Activity-based search for black-box constraint programming solvers. In: Integration of AI and OR techniques in contraint programming for combinatorial optimzation problems\u20149th international conference, CPAIOR 2012, Nantes, France, May 28\u2013June 1, 2012. Proceedings, pp 228\u2013243","DOI":"10.1007\/978-3-642-29828-8_15"},{"issue":"1","key":"10012_CR31","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"AK Mackworth","year":"1977","unstructured":"Mackworth AK (1977) Consistency in networks of relations. Artif Intell 8(1):99\u2013118","journal-title":"Artif Intell"},{"key":"10012_CR32","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 (1974) Network of constraints: fundamental properties and applications to picture processing. Inf Sci 7:95\u2013132","journal-title":"Inf Sci"},{"key":"10012_CR33","doi-asserted-by":"crossref","unstructured":"Paparrizou A, Stergiou K (2012) Evaluating simple fully automated heuristics for adaptive constraint propagation. In: IEEE 24th international conference on tools with artificial intelligence, ICTAI 2012, Athens, Greece, November 7\u20139, 2012, pp 880\u2013885","DOI":"10.1109\/ICTAI.2012.123"},{"key":"10012_CR34","doi-asserted-by":"crossref","unstructured":"Paparrizou A, Stergiou K (2017) On neighborhood singleton consistencies. In: Proceedings of the twenty-sixth international joint conference on artificial intelligence, IJCAI 2017, Melbourne, Australia, August 19\u201325, 2017, pp 736\u2013742","DOI":"10.24963\/ijcai.2017\/102"},{"key":"10012_CR35","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1613\/jair.3463","volume":"43","author":"G Pesant","year":"2012","unstructured":"Pesant G, Quimper C, Zanarini A (2012) Counting-based search: branching heuristics for constraint satisfaction problems. J Artif Intell Res 43:173\u2013210","journal-title":"J Artif Intell Res"},{"key":"10012_CR36","doi-asserted-by":"crossref","unstructured":"Prosser P, Stergiou K, Walsh T (2000) Singleton consistencies. In: Proceedings of CP-2000, Melbourne, pp 353\u2013368","DOI":"10.1007\/3-540-45349-0_26"},{"key":"10012_CR37","doi-asserted-by":"crossref","unstructured":"Sabin K,Freuder EC (1997) Understanding and improving the MAC algorithm. In: Proceedings of CP-1997, pp 167\u2013181","DOI":"10.1007\/BFb0017438"},{"key":"10012_CR38","unstructured":"Stergiou K (2008) Heuristics for dynamically adapting propagation. In: Proceedings of ECAI\u201908, pp 485\u2013489"},{"issue":"5","key":"10012_CR39","doi-asserted-by":"publisher","first-page":"781","DOI":"10.1142\/S0218213008004163","volume":"17","author":"K Stergiou","year":"2008","unstructured":"Stergiou K (2008) Strong domain filtering consistencies for non-binary constraint satisfaction problems. Int J Artif Intell Tools 17(5):781\u2013802","journal-title":"Int J Artif Intell Tools"},{"issue":"3","key":"10012_CR40","doi-asserted-by":"publisher","first-page":"125","DOI":"10.3233\/AIC-2009-0450","volume":"22","author":"K Stergiou","year":"2009","unstructured":"Stergiou K (2009) Heuristics for dynamically adapting propagation in constraint satisfaction problems. AI Commun 22(3):125\u2013141","journal-title":"AI Commun"},{"key":"10012_CR41","doi-asserted-by":"crossref","unstructured":"Szymanek R, Lecoutre C (2008) Constraint-level advice for shaving. In: Proceedings of ICLP\u201908, pp 636\u2013650","DOI":"10.1007\/978-3-540-89982-2_52"},{"issue":"18","key":"10012_CR42","doi-asserted-by":"publisher","first-page":"3639","DOI":"10.1016\/j.ins.2007.03.030","volume":"177","author":"JR Ullmann","year":"2007","unstructured":"Ullmann JR (2007) Partition search for non-binary constraint satisfaction. Inf Sci 177(18):3639\u20133678","journal-title":"Inf Sci"},{"issue":"2","key":"10012_CR43","doi-asserted-by":"publisher","first-page":"345","DOI":"10.3233\/AIC-140635","volume":"28","author":"R Wallace","year":"2015","unstructured":"Wallace R (2015) SAC and neighbourhood SAC. AI Commun 28(2):345\u2013364","journal-title":"AI Commun"},{"issue":"2","key":"10012_CR44","doi-asserted-by":"publisher","first-page":"249","DOI":"10.3233\/AIC-150696","volume":"29","author":"R Wallace","year":"2016","unstructured":"Wallace R (2016) Neighbourhood SAC: extensions and new algorithms. AI Commun 29(2):249\u2013268","journal-title":"AI Commun"},{"key":"10012_CR45","unstructured":"Woodward R, Choueiry B (2017) Weight-based variable ordering in the context of high-level consistencies. CoRR arXiv:abs\/1711.00909"},{"key":"10012_CR46","doi-asserted-by":"crossref","unstructured":"Woodward R, Choueiry B, Bessiere C (2017) Cycle-based singleton local consistencies. In: Proceedings of the Thirty-First AAAI conference on artificial intelligence, February 4\u20139, 2017, San Francisco, California, USA, pp 5005\u20135006","DOI":"10.1609\/aaai.v31i1.11101"},{"key":"10012_CR47","doi-asserted-by":"crossref","unstructured":"Woodward R, Choueiry B, Bessiere C (2018) A reactive strategy for high-level consistency during search. In: Proceedings of the twenty-seventh international joint conference on artificial intelligence, IJCAI 2018, July 13\u201319, 2018, Stockholm, Sweden, pp 1390\u20131397","DOI":"10.24963\/ijcai.2018\/193"},{"key":"10012_CR48","doi-asserted-by":"crossref","unstructured":"Woodward R, Schneider A, Choueiry B, Bessiere B (2014) Adaptive parameterized consistency for non-binary CSPS by counting supports. In: Principles and practice of constraint programming\u201420th international conference, CP 2014, Lyon, France, September 8\u201312, 2014. Proceedings, pp 755\u2013764","DOI":"10.1007\/978-3-319-10428-7_54"},{"key":"10012_CR49","doi-asserted-by":"crossref","unstructured":"Woodward RJ, Karakashian S, Choueiry BY, Bessi\u00e8re C (2011) Solving difficult CSPS with relational neighborhood inverse consistency. In: Proceedings of AAAI, pp 112\u2013119","DOI":"10.1609\/aaai.v25i1.7825"},{"key":"10012_CR50","unstructured":"Zanarini A, Pesant G (2009) Where can I get a quick shave?. In: Proceedings of the CP-09 workshop on constraint modelling and reformulation, pp 186\u2013200"}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-021-10012-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10462-021-10012-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-021-10012-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,26]],"date-time":"2022-12-26T23:55:04Z","timestamp":1672098904000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10462-021-10012-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,11]]},"references-count":50,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2021,10]]}},"alternative-id":["10012"],"URL":"https:\/\/doi.org\/10.1007\/s10462-021-10012-4","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"type":"print","value":"0269-2821"},{"type":"electronic","value":"1573-7462"}],"subject":[],"published":{"date-parts":[[2021,5,11]]},"assertion":[{"value":"11 May 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}