{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:14:57Z","timestamp":1750220097460,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,19]],"date-time":"2021-10-19T00:00:00Z","timestamp":1634601600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Russian Foundation for Basic Research","award":["20-07-00708-a"],"award-info":[{"award-number":["20-07-00708-a"]}]},{"name":"Russian Foundation for Basic Research","award":["19-07-00359-a"],"award-info":[{"award-number":["19-07-00359-a"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,10,19]]},"DOI":"10.1145\/3487075.3487076","type":"proceedings-article","created":{"date-parts":[[2021,12,7]],"date-time":"2021-12-07T20:35:15Z","timestamp":1638909315000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["The Joint Use of the Breadth-First Search Strategy and the Constraints Propagation in Smart Tables Handling"],"prefix":"10.1145","author":[{"given":"Alexander","family":"Anatolyevich Zuenko","sequence":"first","affiliation":[{"name":"Kola Science Centre of the Russian Academy of Sciences, Institute for Informatics and Mathematical Modelling, Russia"}]}],"member":"320","published-online":{"date-parts":[[2021,12,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Artificial Intelligence: A Modern Approach","author":"Russel S","year":"2010","unstructured":"S Russel and P Norvig ( 2010 ). Artificial Intelligence: A Modern Approach . 3 rd edition. Prentice Hall , 1132 p. S Russel and P Norvig (2010). Artificial Intelligence: A Modern Approach. 3rd edition. Prentice Hall, 1132 p.","edition":"3"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90007-8"},{"key":"e_1_3_2_1_3_1","first-page":"555","volume-title":"Proceedings of the Week of Doctoral Students (WDS99)","author":"Bartak R","year":"1999","unstructured":"R Bartak ( 1999 ). Constraint Programming: In Pursuit of the Holy Grail . Proceedings of the Week of Doctoral Students (WDS99) , 555 - 564 . R Bartak (1999). Constraint Programming: In Pursuit of the Holy Grail. Proceedings of the Week of Doctoral Students (WDS99), 555-564."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/95"},{"key":"e_1_3_2_1_5_1","first-page":"315","article-title":"Segmented Tables: An Efficient Modeling Tool for Constraint Reasoning","volume":"2020","author":"Audemard G","year":"2020","unstructured":"G Audemard , C Lecoutre and M Maamar ( 2020 ). Segmented Tables: An Efficient Modeling Tool for Constraint Reasoning . ECAI 2020 , 315 - 322 . G Audemard, C Lecoutre and M Maamar (2020). Segmented Tables: An Efficient Modeling Tool for Constraint Reasoning. ECAI 2020, 315-322.","journal-title":"ECAI"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i09.7086"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10428-7_44"},{"key":"e_1_3_2_1_8_1","first-page":"3951","article-title":"Extending compact-table to negative and short tables","volume":"17","author":"Verhaeghe H","year":"2017","unstructured":"H Verhaeghe , C Lecoutre and P Schaus ( 2017 ). Extending compact-table to negative and short tables . Proceedings of AAAI 17 , 3951 - 3957 . DOI: https:\/\/dl.acm.org\/doi\/abs\/10.5555\/3298023.3298142. H Verhaeghe, C Lecoutre and P Schaus (2017). Extending compact-table to negative and short tables. Proceedings of AAAI 17, 3951-3957. DOI: https:\/\/dl.acm.org\/doi\/abs\/10.5555\/3298023.3298142.","journal-title":"Proceedings of AAAI"},{"key":"e_1_3_2_1_9_1","series-title":"Lecture Notes in Computer Science","volume-title":"Making Compact-Table Compact. CP","author":"Ingmar L","year":"2018","unstructured":"L Ingmar and C Schulte ( 2018 ) Making Compact-Table Compact. CP 2018, Lecture Notes in Computer Science , 11008, 210-218. DOI: https:\/\/doi.org\/10.1007\/978-3-319-98334-9_14. 10.1007\/978-3-319-98334-9_14 L Ingmar and C Schulte (2018) Making Compact-Table Compact. CP 2018, Lecture Notes in Computer Science, 11008, 210-218. DOI: https:\/\/doi.org\/10.1007\/978-3-319-98334-9_14."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-009-9087-y"},{"key":"e_1_3_2_1_11_1","first-page":"573","volume-title":"Proceedings of IJCAI","author":"Jefferson C","year":"2013","unstructured":"C Jefferson and P Nightingale ( 2013 ). Extending simple tabular reduction with short supports . Proceedings of IJCAI 2013, 573 - 579 . C Jefferson and P Nightingale (2013). Extending simple tabular reduction with short supports. Proceedings of IJCAI 2013, 573-579."},{"key":"e_1_3_2_1_12_1","first-page":"271","volume-title":"The Smart Table Constraint. Integration of AI and OR Techniques in Constraint Programming. CPAIOR 2015","author":"Mairy J","year":"2015","unstructured":"J Mairy , Y Deville and C Lecoutre ( 2015 ). The Smart Table Constraint. Integration of AI and OR Techniques in Constraint Programming. CPAIOR 2015 . Lecture Notes in Computer Science, 9075 , 271 - 287 . DOI: http:\/\/dx.doi.org\/10.1007\/978-3-319-18008-3_19. 10.1007\/978-3-319-18008-3_19 J Mairy, Y Deville and C Lecoutre (2015). The Smart Table Constraint. Integration of AI and OR Techniques in Constraint Programming. CPAIOR 2015. Lecture Notes in Computer Science, 9075, 271-287. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-319-18008-3_19."},{"key":"e_1_3_2_1_13_1","series-title":"Lecture Notes in Computer Science","volume-title":"Y Deville and P Schaus","author":"Verhaeghe H","year":"2017","unstructured":"H Verhaeghe , C Lecoutre , Y Deville and P Schaus ( 2017 ). Extending Compact-Table to Basic Smart Tables. Principles and Practice of Constraint Programming. CP 2017, Lecture Notes in Computer Science , 10416, 297-307. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-319-66158-2_19. 10.1007\/978-3-319-66158-2_19 H Verhaeghe, C Lecoutre, Y Deville and P Schaus (2017). Extending Compact-Table to Basic Smart Tables. Principles and Practice of Constraint Programming. CP 2017, Lecture Notes in Computer Science, 10416, 297-307. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-319-66158-2_19."},{"key":"e_1_3_2_1_14_1","series-title":"Lecture Notes in Computer Science","volume-title":"PW-CT: Extending Compact-Table to Enforce Pairwise Consistency on Table Constraints. CP","author":"Schneider A","year":"2018","unstructured":"A Schneider and B Choueiry ( 2018 ) PW-CT: Extending Compact-Table to Enforce Pairwise Consistency on Table Constraints. CP 2018, Lecture Notes in Computer Science , 11008, 345-361. DOI: https:\/\/doi.org\/10.1007\/978-3-319-98334-9_23. 10.1007\/978-3-319-98334-9_23 A Schneider and B Choueiry (2018) PW-CT: Extending Compact-Table to Enforce Pairwise Consistency on Table Constraints. CP 2018, Lecture Notes in Computer Science, 11008, 345-361. DOI: https:\/\/doi.org\/10.1007\/978-3-319-98334-9_23."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1134\/S1064230709020099"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3207677.3277959"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3424978.3425023"},{"key":"e_1_3_2_1_18_1","volume-title":"On the Technology of Array-Based Logic. Ph. D. thesis","author":"M\u00f8ller G","year":"1995","unstructured":"G M\u00f8ller ( 1995 ). On the Technology of Array-Based Logic. Ph. D. thesis , http:\/\/www.arraytechnology.com\/documents\/lic.pdf. G M\u00f8ller (1995). On the Technology of Array-Based Logic. Ph. D. thesis, http:\/\/www.arraytechnology.com\/documents\/lic.pdf."}],"event":{"name":"CSAE 2021: The 5th International Conference on Computer Science and Application Engineering","acronym":"CSAE 2021","location":"Sanya China"},"container-title":["Proceedings of the 5th International Conference on Computer Science and Application Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3487075.3487076","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3487075.3487076","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:09Z","timestamp":1750183809000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3487075.3487076"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,19]]},"references-count":18,"alternative-id":["10.1145\/3487075.3487076","10.1145\/3487075"],"URL":"https:\/\/doi.org\/10.1145\/3487075.3487076","relation":{},"subject":[],"published":{"date-parts":[[2021,10,19]]},"assertion":[{"value":"2021-12-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}