{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,7]],"date-time":"2024-12-07T00:10:36Z","timestamp":1733530236030,"version":"3.30.1"},"reference-count":36,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Expert Systems with Applications"],"published-print":{"date-parts":[[2024,1]]},"DOI":"10.1016\/j.eswa.2023.121259","type":"journal-article","created":{"date-parts":[[2023,8,21]],"date-time":"2023-08-21T15:34:10Z","timestamp":1692632050000},"page":"121259","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":1,"special_numbering":"C","title":["Improved bit-based filtering algorithm for regular constraint"],"prefix":"10.1016","volume":"235","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4708-7081","authenticated-orcid":false,"given":"Luhan","family":"Zhen","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5018-0519","authenticated-orcid":false,"given":"Yonggang","family":"Zhang","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1498-5501","authenticated-orcid":false,"given":"Jingyao","family":"Li","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1159-0539","authenticated-orcid":false,"given":"Yanzhi","family":"Li","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1648-8138","authenticated-orcid":false,"given":"Zhanshan","family":"Li","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.eswa.2023.121259_b1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/s10601-009-9080-5","article-title":"Efficient algorithms for singleton arc consistency","volume":"16","author":"Bessiere","year":"2011","journal-title":"Constraints"},{"issue":"1","key":"10.1016\/j.eswa.2023.121259_b2","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/j.artint.2007.09.001","article-title":"Theoretical analysis of singleton arc consistency and its extensions","volume":"172","author":"Bessiere","year":"2008","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.eswa.2023.121259_b3","series-title":"IJCAI. Vol. 2","first-page":"398","article-title":"Arc consistency for general constraint networks: Preliminary results","author":"Bessiere","year":"1997"},{"key":"10.1016\/j.eswa.2023.121259_b4","series-title":"Principles and practice of constraint programming: 24th international conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Vol. 24","first-page":"30","article-title":"A constraint-based encoding for domain-independent temporal planning","author":"Bit-Monnot","year":"2018"},{"issue":"1","key":"10.1016\/j.eswa.2023.121259_b5","doi-asserted-by":"crossref","first-page":"500","DOI":"10.1109\/LRA.2016.2522096","article-title":"Mixed-integer and constraint programming techniques for mobile robot task planning","volume":"1","author":"Booth","year":"2016","journal-title":"IEEE Robotics and Automation Letters"},{"key":"10.1016\/j.eswa.2023.121259_b6","series-title":"ECAI. Vol. 16","first-page":"146","article-title":"Boosting systematic search by weighting constraints","author":"Boussemart","year":"2004"},{"year":"2016","series-title":"XCSP3: an integrated format for benchmarking combinatorial constrained problems","author":"Boussemart","key":"10.1016\/j.eswa.2023.121259_b7"},{"issue":"02","key":"10.1016\/j.eswa.2023.121259_b8","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1142\/S0218213098000081","article-title":"Efficient path-consistency propagation","volume":"7","author":"Chmeiss","year":"1998","journal-title":"International Journal on Artificial Intelligence Tools"},{"issue":"1","key":"10.1016\/j.eswa.2023.121259_b9","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1016\/j.eswa.2011.07.027","article-title":"Using constraint satisfaction problem approach to solve human resource allocation problems in cooperative health services","volume":"39","author":"Costa Filho","year":"2012","journal-title":"Expert Systems with Applications"},{"year":"2003","series-title":"Constraint processing","author":"Dechter","key":"10.1016\/j.eswa.2023.121259_b10"},{"key":"10.1016\/j.eswa.2023.121259_b11","series-title":"Principles and practice of constraint programming: 22nd international conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Vol. 22","first-page":"207","article-title":"Compact-table: Efficiently filtering table constraints with reversible sparse bit-sets","author":"Demeulenaere","year":"2016"},{"key":"10.1016\/j.eswa.2023.121259_b12","series-title":"Principles and practice of constraint programming-CP 2002: 8th International conference, CP 2002 Ithaca, NY, USA, September 9\u201313, 2002 Proceedings. Vol. 8","first-page":"93","article-title":"Global constraints for lexicographic orderings","author":"Frisch","year":"2002"},{"key":"10.1016\/j.eswa.2023.121259_b13","doi-asserted-by":"crossref","DOI":"10.1016\/j.eswa.2020.114021","article-title":"An improved ant colony optimization with an automatic updating mechanism for constraint satisfaction problems","volume":"164","author":"Guan","year":"2021","journal-title":"Expert Systems with Applications"},{"issue":"1","key":"10.1016\/j.eswa.2023.121259_b14","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1145\/5236.5237","article-title":"On the complexity of join dependencies","volume":"11","author":"Gyssens","year":"1986","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/j.eswa.2023.121259_b15","first-page":"3","article-title":"Representation of events in nerve nets and finite automata","volume":"34","author":"Kleene","year":"1956","journal-title":"Automata Studies"},{"key":"10.1016\/j.eswa.2023.121259_b16","doi-asserted-by":"crossref","DOI":"10.1016\/j.eswa.2020.113243","article-title":"Solving complex problems using model transformations: from set constraint modeling to SAT instance solving","volume":"149","author":"Lardeux","year":"2020","journal-title":"Expert Systems with Applications"},{"year":"2003","series-title":"Finite automata","author":"Lawson","key":"10.1016\/j.eswa.2023.121259_b17"},{"year":"2013","series-title":"Constraint networks: Targeting simplicity for techniques and algorithms","author":"Lecoutre","key":"10.1016\/j.eswa.2023.121259_b18"},{"key":"10.1016\/j.eswa.2023.121259_b19","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BF02478259","article-title":"A logical calculus of the ideas immanent in nervous activity","volume":"5","author":"McCulloch","year":"1943","journal-title":"The Bulletin of Mathematical Biophysics"},{"year":"2003","series-title":"The Oxford handbook of computational linguistics (Oxford handbooks in linguistics S)","author":"Mitkov","key":"10.1016\/j.eswa.2023.121259_b20"},{"issue":"2","key":"10.1016\/j.eswa.2023.121259_b21","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0004-3702(86)90083-4","article-title":"Arc and path consistency revisited","volume":"28","author":"Mohr","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.eswa.2023.121259_b22","series-title":"Principles and practice of constraint programming\u2013CP 2004: 10th International conference, CP 2004, Toronto, Canada, September 27-October 1, 2004. Proceedings. Vol. 10","first-page":"482","article-title":"A regular language membership constraint for finite sequences of variables","author":"Pesant","year":"2004"},{"key":"10.1016\/j.eswa.2023.121259_b23","series-title":"Principles and practice of constraint programming\u2013CP 2011: 17th International conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings. Vol. 17","first-page":"721","article-title":"A \u0398 (n) bound-consistency algorithm for the increasing sum constraint","author":"Petit","year":"2011"},{"year":"2019","series-title":"Choco documentation","author":"Prud\u2019homme","key":"10.1016\/j.eswa.2023.121259_b24"},{"key":"10.1016\/j.eswa.2023.121259_b25","series-title":"Principles and practice of constraint programming-CP 2006: 12th International conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings. Vol. 12","first-page":"751","article-title":"Global grammar constraints","author":"Quimper","year":"2006"},{"issue":"2","key":"10.1016\/j.eswa.2023.121259_b26","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1147\/rd.32.0114","article-title":"Finite automata and their decision problems","volume":"3","author":"Rabin","year":"1959","journal-title":"IBM Journal of Research and Development"},{"key":"10.1016\/j.eswa.2023.121259_b27","series-title":"Handbook of constraint programming","volume":"vol. 2","author":"Rossi","year":"2006"},{"key":"10.1016\/j.eswa.2023.121259_b28","series-title":"Principles and practice of constraint programming: 24th international conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Vol. 24","first-page":"345","article-title":"PW-CT: Extending compact-table to enforce pairwise consistency on table constraints","author":"Schneider","year":"2018"},{"key":"10.1016\/j.eswa.2023.121259_b29","series-title":"Gecode","first-page":"11","author":"Schulte","year":"2006"},{"issue":"1","key":"10.1016\/j.eswa.2023.121259_b30","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1145\/230514.571645","article-title":"Introduction to the theory of computation","volume":"27","author":"Sipser","year":"1996","journal-title":"ACM Sigact News"},{"key":"10.1016\/j.eswa.2023.121259_b31","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1016\/j.future.2016.01.017","article-title":"Improved auto control ant colony optimization using lazy ant approach for grid scheduling problem","volume":"60","author":"Tiwari","year":"2016","journal-title":"Future Generation Computer Systems"},{"key":"10.1016\/j.eswa.2023.121259_b32","series-title":"Integration of constraint programming, artificial intelligence, and operations research: 16th International conference, CPAIOR 2019, Thessaloniki, Greece, June 4\u20137, 2019, Proceedings","first-page":"581","article-title":"Extending compact-diagram to basic smart multi-valued variable diagrams","author":"Verhaeghe","year":"2019"},{"key":"10.1016\/j.eswa.2023.121259_b33","unstructured":"Wang, R., Xia, W., Yap, R. H., & Li, Z. (2016). Optimizing Simple Tabular Reduction with a Bitwise Representation. In IJCAI (pp. 787\u2013795)."},{"key":"10.1016\/j.eswa.2023.121259_b34","doi-asserted-by":"crossref","unstructured":"Yap, R. H., Xia, W., & Wang, R. (2020). Generalized arc consistency algorithms for table constraints: A summary of algorithmic ideas. In Proceedings of the AAAI conference on artificial intelligence. No. 09 (pp. 13590\u201313597).","DOI":"10.1609\/aaai.v34i09.7086"},{"key":"10.1016\/j.eswa.2023.121259_b35","series-title":"Handbook of formal languages. Volume 1: Word, language, grammar","first-page":"41","article-title":"Regular languages","author":"Yu","year":"1997"},{"key":"10.1016\/j.eswa.2023.121259_b36","series-title":"Proceedings of the twenty-seventh international joint conference on artificial intelligence, IJCAI-18","first-page":"1398","article-title":"A fast algorithm for generalized arc consistency of the alldifferent constraint","author":"Zhang","year":"2018"}],"container-title":["Expert Systems with Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S095741742301761X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S095741742301761X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,6]],"date-time":"2024-12-06T23:32:50Z","timestamp":1733527970000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S095741742301761X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1]]},"references-count":36,"alternative-id":["S095741742301761X"],"URL":"https:\/\/doi.org\/10.1016\/j.eswa.2023.121259","relation":{},"ISSN":["0957-4174"],"issn-type":[{"type":"print","value":"0957-4174"}],"subject":[],"published":{"date-parts":[[2024,1]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Improved bit-based filtering algorithm for regular constraint","name":"articletitle","label":"Article Title"},{"value":"Expert Systems with Applications","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.eswa.2023.121259","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2023 Elsevier Ltd. All rights reserved.","name":"copyright","label":"Copyright"}],"article-number":"121259"}}