{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:16:47Z","timestamp":1750220207457,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,30]],"date-time":"2022-10-30T00:00:00Z","timestamp":1667088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Ministry of Science and Technology of Taiwan","award":["MOST 108-2221-E-002-144-MY3"],"award-info":[{"award-number":["MOST 108-2221-E-002-144-MY3"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,30]]},"DOI":"10.1145\/3508352.3549428","type":"proceedings-article","created":{"date-parts":[[2022,12,22]],"date-time":"2022-12-22T12:10:54Z","timestamp":1671711054000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Language Equation Solving via Boolean Automata Manipulation"],"prefix":"10.1145","author":[{"given":"Wan-Hsuan","family":"Lin","sequence":"first","affiliation":[{"name":"National Taiwan University, Taiwan and University of California"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chia-Hsuan","family":"Su","sequence":"additional","affiliation":[{"name":"National Taiwan University, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie-Hong R.","family":"Jiang","sequence":"additional","affiliation":[{"name":"National Taiwan University, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,12,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Solving Language Equations Using Flanked Automata. In International Symposium on Automated Technology for Verification and Analysis. 106--121","author":"Avellaneda Florent","year":"2016","unstructured":"Florent Avellaneda, Silvano Dal Zilio, and Jean-Baptiste Raclet. 2016. Solving Language Equations Using Flanked Automata. In International Symposium on Automated Technology for Verification and Analysis. 106--121."},{"key":"e_1_3_2_1_2_1","volume-title":"Brayton and Alan Mishchenko","author":"Robert","year":"2010","unstructured":"Robert K. Brayton and Alan Mishchenko. 2010. ABC: An Academic Industrial-Strength Verification Tool. In Proceedings of the International Conference on Computer Aided Verification. 24--40."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1989.100747"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(80)90069-9"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/322234.322243"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/54.867894"},{"key":"e_1_3_2_1_7_1","volume-title":"Model Checking Regular Language Constraints. CoRR abs\/1708.09073","author":"Cox Arlen","year":"2017","unstructured":"Arlen Cox and Jason Leasure. 2017. Model Checking Regular Language Constraints. CoRR abs\/1708.09073 (2017). arXiv:1708.09073 http:\/\/arxiv.org\/abs\/1708.09073"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207169008803893"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2002.1011086"},{"volume-title":"Proceedings of International Conference on Computer Aided Verification. 611--633","author":"Golia Priyanka","key":"e_1_3_2_1_10_1","unstructured":"Priyanka Golia, Subhajit Roy, and Kuldeep S. Meel. 2020. Manthan: A Data-Driven Approach for Boolean Function Synthesis. In Proceedings of International Conference on Computer Aided Verification. 611--633."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-90530-3_16"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30642-6_19"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.130"},{"key":"e_1_3_2_1_14_1","volume-title":"Brayton","author":"Mishchenko Alan","year":"2005","unstructured":"Alan Mishchenko, Satrajit Chatterjee, Jie-Hong R. Jiang, and Robert K. Brayton. 2005. FRAIGs: A unifying representation for logic synthesis and verification. ERL Technical Report, UC Berkeley (2005)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25543-5_6"},{"key":"e_1_3_2_1_16_1","volume-title":"The Quotient in Preorder Theories. Electronic Proceedings in Theoretical Computer Science 326 (sep","author":"\u00cdncer Romeo \u00cd\u00f1igo X.","year":"2020","unstructured":"\u00cd\u00f1igo X. \u00cdncer Romeo, Leonardo Mangeruca, Tiziano Villa, and Alberto Sangiovanni-Vincentelli. 2020. The Quotient in Preorder Theories. Electronic Proceedings in Theoretical Computer Science 326 (sep 2020), 216--233."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00020-1"},{"volume-title":"Introduction to the Theory of Computation","author":"Sipser Michael","key":"e_1_3_2_1_18_1","unstructured":"Michael Sipser. 1996. Introduction to the Theory of Computation. International Thomson Publishing."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2450937"},{"volume-title":"The Unknown Component Problem: Theory and Applications","author":"Villa Tiziano","key":"e_1_3_2_1_20_1","unstructured":"Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, and Alberto Sangiovanni-Vincentelli. 2014. The Unknown Component Problem: Theory and Applications. Springer Publishing Company."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_13"}],"event":{"name":"ICCAD '22: IEEE\/ACM International Conference on Computer-Aided Design","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE-EDS Electronic Devices Society","IEEE CAS","IEEE CEDA"],"location":"San Diego California","acronym":"ICCAD '22"},"container-title":["Proceedings of the 41st IEEE\/ACM International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3508352.3549428","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3508352.3549428","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:57Z","timestamp":1750186977000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3508352.3549428"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,30]]},"references-count":21,"alternative-id":["10.1145\/3508352.3549428","10.1145\/3508352"],"URL":"https:\/\/doi.org\/10.1145\/3508352.3549428","relation":{},"subject":[],"published":{"date-parts":[[2022,10,30]]},"assertion":[{"value":"2022-12-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}