{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,17]],"date-time":"2024-05-17T08:25:50Z","timestamp":1715934350793},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"S1","license":[{"start":{"date-parts":[[2017,5,3]],"date-time":"2017-05-03T00:00:00Z","timestamp":1493769600000},"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":["Neural Comput & Applic"],"published-print":{"date-parts":[[2019,1]]},"DOI":"10.1007\/s00521-017-3015-7","type":"journal-article","created":{"date-parts":[[2017,5,3]],"date-time":"2017-05-03T00:08:38Z","timestamp":1493770118000},"page":"499-508","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Saving constraint checks in maintaining coarse-grained generalized arc consistency"],"prefix":"10.1007","volume":"31","author":[{"given":"Hongbo","family":"Li","sequence":"first","affiliation":[]},{"given":"Ruizhi","family":"Li","sequence":"additional","affiliation":[]},{"given":"Minghao","family":"Yin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,3]]},"reference":[{"key":"3015_CR1","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0004-3702(94)90041-8","volume":"65","author":"C Bessi\u00e8re","year":"1994","unstructured":"Bessi\u00e8re C (1994) Arc-consistency and arc-consistency again. Artif Intell 65:179\u2013190","journal-title":"Artif Intell"},{"key":"3015_CR2","first-page":"159","volume-title":"Proceedings of CP\u201913","author":"C Bessi\u00e8re","year":"2013","unstructured":"Bessi\u00e8re C, Fargier H, Lecoutre C (2013) Global inverse consistency for interactive constraint satisfaction Proceedings of CP\u201913, pp 159\u2013174"},{"key":"3015_CR3","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0004-3702(98)00105-2","volume":"107","author":"C Bessi\u00e8re","year":"1999","unstructured":"Bessi\u00e8re C, Freuder EC, R\u00e9gin JC (1999) Using constraint metaknowledge to reduce arc consistency computation. Artif Intell 107:125\u2013148","journal-title":"Artif Intell"},{"key":"3015_CR4","first-page":"398","volume-title":"Proceedings of IJCAI\u201997","author":"C Bessi\u00e8re","year":"1997","unstructured":"Bessi\u00e8re C, R\u00e9gin JC (1997) Arc consistency for general constraint networks: preliminary results Proceedings of IJCAI\u201997, pp 398\u2013404"},{"key":"3015_CR5","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.artint.2005.02.004","volume":"165","author":"C Bessi\u00e8re","year":"2005","unstructured":"Bessi\u00e8re C, R\u00e9gin JC, Yap R, Zhang Y (2005) An optimal coarse-grained arc consistency algorithm. Artif Intell 165:165\u2013185","journal-title":"Artif Intell"},{"key":"3015_CR6","first-page":"146","volume-title":"Proceedings of ECAI\u201904","author":"F Boussemart","year":"2004","unstructured":"Boussemart F, Hemery F, Lecoutre C, Sais L (2004) Boosting systematic search by weighting constraints Proceedings of ECAI\u201904, pp 146\u2013150"},{"key":"3015_CR7","first-page":"431","volume-title":"Proceedings of AAAI\u201998","author":"C Gomes","year":"1998","unstructured":"Gomes C, Selman B, Kautz H (1998) Boosting combinatorial search through randomization Proceedings of AAAI\u201998, pp 431\u2013437"},{"key":"3015_CR8","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:341\u2013371","journal-title":"Constraints"},{"key":"3015_CR9","first-page":"480","volume-title":"Proceedings of CP\u201903","author":"C Lecoutre","year":"2003","unstructured":"Lecoutre C, Boussemart F, Hemery F (2003) Exploiting multidirectionality in coarsegrained arc consistency algorithms Proceedings of CP\u201903, pp 480\u2013494"},{"key":"3015_CR10","first-page":"125","volume-title":"Proceedings of IJCAI\u201907","author":"C Lecoutre","year":"2007","unstructured":"Lecoutre C, Hemery F (2007) A study of residual supports in arc consistency Proceedings of IJCAI\u201907, pp 125\u2013130"},{"key":"3015_CR11","first-page":"3","volume":"2","author":"C Lecoutre","year":"2008","unstructured":"Lecoutre C, Likitvivatanavong C, Shannon S, Yap R, Zhang Y (2008) Maintaining arc consistency with multiple residues. Constraint Program Lett 2:3\u201319","journal-title":"Constraint Program Lett"},{"key":"3015_CR12","doi-asserted-by":"publisher","unstructured":"Li H (2017) Narrowing support searching range in maintaining arc consistency for solving constraint satisfaction problems. IEEE access. doi:\n 10.1109\/ACCESS.2017.2690672","DOI":"10.1109\/ACCESS.2017.2690672"},{"key":"3015_CR13","first-page":"1629","volume-title":"Proceedings of AAAI\u201913","author":"H Li","year":"2013","unstructured":"Li H, Liang Y, Guo J, Li Z (2013) Making simple tabular reduction works on negative table constraints Proceedings of AAAI\u201913, pp 1629\u20131630"},{"key":"3015_CR14","first-page":"93","volume-title":"Proceedings of CPAI\u201904 workshop held with CP\u201904","author":"C Likitvivatanavong","year":"2004","unstructured":"Likitvivatanavong C, Zhang Y, Bowen J, Freuder EC (2004) Arc consistency in MAC a new perspective Proceedings of CPAI\u201904 workshop held with CP\u201904, pp 93\u2013107"},{"key":"3015_CR15","first-page":"137","volume-title":"Proceedings of IJCAI\u201907","author":"C Likitvivatanavong","year":"2007","unstructured":"Likitvivatanavong C, Zhang Y, Shannon C, Bowen J, Freuder EC (2007) Arc consistency during search Proceedings of IJCAI\u201907, pp 137\u2013142"},{"key":"3015_CR16","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:99\u2013118","journal-title":"Artif Intell"},{"key":"3015_CR17","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0004-3702(86)90083-4","volume":"28","author":"R Mohr","year":"1986","unstructured":"Mohr R, Henderson TC (1986) Arc and path consistency revisited. Artif Intell 28:225\u2013233","journal-title":"Artif Intell"},{"key":"3015_CR18","first-page":"125","volume-title":"Proceedings of ECAI\u201994","author":"D Sabin","year":"1994","unstructured":"Sabin D, Freuder EC (1994) Contradicting conventional wisdom in constraint satisfaction Proceedings of ECAI\u201994, pp 125\u2013129"},{"key":"3015_CR19","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:3639\u20133678","journal-title":"Inf Sci"},{"key":"3015_CR20","doi-asserted-by":"crossref","unstructured":"van Dongen MRC (2004) Saving support-checks does not always save time. Artif Intell Rev 21:317\u2013334","DOI":"10.1023\/B:AIRE.0000036261.28708.7f"},{"key":"3015_CR21","first-page":"787","volume-title":"Proceedings of IJCAI\u201916","author":"R Wang","year":"2016","unstructured":"Wang R, Xia W, Yap R, Li Z (2016) Optimizing simple table reduction with bitwise representation Proceedings of IJCAI\u201916, pp 787\u2013793"},{"key":"3015_CR22","first-page":"1172","volume-title":"Proceedings of IJCAI\u201999","author":"T Walsh","year":"1999","unstructured":"Walsh T (1999) Search in a small world Proceedings of IJCAI\u201999, pp 1172\u20131177"}],"container-title":["Neural Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00521-017-3015-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00521-017-3015-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00521-017-3015-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,5]],"date-time":"2019-04-05T09:22:38Z","timestamp":1554456158000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00521-017-3015-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,3]]},"references-count":22,"journal-issue":{"issue":"S1","published-print":{"date-parts":[[2019,1]]}},"alternative-id":["3015"],"URL":"https:\/\/doi.org\/10.1007\/s00521-017-3015-7","relation":{},"ISSN":["0941-0643","1433-3058"],"issn-type":[{"value":"0941-0643","type":"print"},{"value":"1433-3058","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,5,3]]},"assertion":[{"value":"8 December 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 April 2017","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 May 2017","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"The authors declare that they have no conflicts of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interests"}}]}}