{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,23]],"date-time":"2026-08-23T14:30:07Z","timestamp":1787495407970,"version":"build-2736575974"},"publisher-location":"Singapore","reference-count":11,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819248049","type":"print"},{"value":"9789819248056","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,8,24]],"date-time":"2026-08-24T00:00:00Z","timestamp":1787529600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,8,24]],"date-time":"2026-08-24T00:00:00Z","timestamp":1787529600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2027]]},"DOI":"10.1007\/978-981-92-4805-6_41","type":"book-chapter","created":{"date-parts":[[2026,8,23]],"date-time":"2026-08-23T13:46:10Z","timestamp":1787492770000},"page":"592-598","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["MV-BSD: Multi-variable Speculation Diagrams for\u00a0Compact Automated Logic Design"],"prefix":"10.1007","author":[{"given":"Xiangtao","family":"Guan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shuyao","family":"Cheng","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rui","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zidong","family":"Du","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,8,24]]},"reference":[{"key":"41_CR1","doi-asserted-by":"crossref","unstructured":"Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. C 35(8), 677\u2013691 (1986)","DOI":"10.1109\/TC.1986.1676819"},{"issue":"2","key":"41_CR2","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1109\/12.73590","volume":"40","author":"RE Bryant","year":"1991","unstructured":"Bryant, R.E.: On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication. IEEE Trans. Comput. 40(2), 205\u2013213 (1991)","journal-title":"IEEE Trans. Comput."},{"key":"41_CR3","doi-asserted-by":"crossref","unstructured":"Chen, P.W., Huang, Y.C., Lee, C.L., Jiang, J.H.R.: Circuit learning for logic regression on high dimensional Boolean space. In: 2020 57th ACM\/IEEE Design Automation Conference (DAC), pp. 1\u20136. IEEE (2020)","DOI":"10.1109\/DAC18072.2020.9218510"},{"key":"41_CR4","doi-asserted-by":"crossref","unstructured":"Cheng, S., Guan, X., Du, Z.: Area-efficient automated logic design with Monte-Carlo tree search. In: International Symposium on Advanced Parallel Processing Technologies, pp. 47\u201358. Springer (2025)","DOI":"10.1007\/978-981-95-1021-4_4"},{"key":"41_CR5","unstructured":"Cheng, S., et al.: Automated CPU design by learning from input-output examples. In: IJCAI, pp. 3843\u20133853 (2024)"},{"key":"41_CR6","doi-asserted-by":"crossref","unstructured":"Cheng, S., et al.: Revisiting automatic pipelining: gate-level forwarding and speculation. In: Proceedings of the 61st ACM\/IEEE Design Automation Conference, pp.\u00a01\u20136 (2024)","DOI":"10.1145\/3649329.3657352"},{"key":"41_CR7","doi-asserted-by":"crossref","unstructured":"Cheng, S., et al.: Automated superscalar processor design by learning data dependencies. In: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, pp. 4932\u20134939 (2025)","DOI":"10.24963\/ijcai.2025\/549"},{"key":"41_CR8","doi-asserted-by":"crossref","unstructured":"Fu, Y., et al.: GPT4AIGChip: towards next-generation AI accelerator design automation via large language models. In: 2023 IEEE\/ACM International Conference on Computer Aided Design (ICCAD), pp.\u00a01\u20139. IEEE (2023)","DOI":"10.1109\/ICCAD57390.2023.10323953"},{"issue":"11","key":"41_CR9","doi-asserted-by":"publisher","first-page":"3985","DOI":"10.1109\/TCAD.2023.3258747","volume":"42","author":"YS Huang","year":"2023","unstructured":"Huang, Y.S., Jiang, J.H.R.: Circuit learning: from decision trees to decision graphs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(11), 3985\u20133996 (2023)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"issue":"10","key":"41_CR10","doi-asserted-by":"publisher","first-page":"2184","DOI":"10.1109\/TCAD.2020.3032625","volume":"40","author":"DS Marakkalage","year":"2020","unstructured":"Marakkalage, D.S., Testa, E., Riener, H., Mishchenko, A., Soeken, M., De Micheli, G.: Three-input gates for logic synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40(10), 2184\u20132188 (2020)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"41_CR11","doi-asserted-by":"crossref","unstructured":"Rudell, R.: Dynamic variable ordering for ordered binary decision diagrams. In: Proceedings of 1993 International Conference on Computer Aided Design (ICCAD), pp. 42\u201347. IEEE (1993)","DOI":"10.1109\/ICCAD.1993.580029"}],"container-title":["Lecture Notes in Computer Science","Advanced Parallel Processing Technologies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-92-4805-6_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,23]],"date-time":"2026-08-23T13:46:12Z","timestamp":1787492772000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-92-4805-6_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,8,24]]},"ISBN":["9789819248049","9789819248056"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-981-92-4805-6_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,8,24]]},"assertion":[{"value":"24 August 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The technical solution and experimental design presented in this paper were independently completed by the authors. AI tools were used solely for language polishing and formatting optimization, and did not participate in the development of the research ideas or core content.","order":1,"name":"Ethics","label":"Use of AI","group":{"name":"EthicsHeading","label":"Ethics"}},{"value":"APPT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Advanced Parallel Processing Technologies","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brussels","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Belgium","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 July 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 July 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"appt2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.appt-conference.com\/2026","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}