{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T14:05:03Z","timestamp":1777125903348,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,11,2]],"date-time":"2009-11-02T00:00:00Z","timestamp":1257120000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001868","name":"National Science Council Taiwan","doi-asserted-by":"publisher","award":["95-2218-E-002-064-MY396-2221-E-002-278-MY3"],"award-info":[{"award-number":["95-2218-E-002-064-MY396-2221-E-002-278-MY3"]}],"id":[{"id":"10.13039\/501100001868","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,11,2]]},"DOI":"10.1145\/1687399.1687544","type":"proceedings-article","created":{"date-parts":[[2010,1,5]],"date-time":"2010-01-05T15:05:14Z","timestamp":1262703914000},"page":"779-784","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":33,"title":["Interpolating functions from large Boolean relations"],"prefix":"10.1145","author":[{"given":"Jie-Hong R.","family":"Jiang","sequence":"first","affiliation":[{"name":"National Taiwan University, Taipei, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hsuan-Po","family":"Lin","sequence":"additional","affiliation":[{"name":"National Taiwan University, Taipei, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei-Lun","family":"Hung","sequence":"additional","affiliation":[{"name":"National Taiwan University, Taipei, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,11,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996687"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1266366.1266622"},{"key":"e_1_3_2_1_3_1","volume-title":"ABC: A System for Sequential Synthesis and Verification","author":"Berkeley Logic Synthesis and Verification Group","year":"2005","unstructured":"Berkeley Logic Synthesis and Verification Group . ABC: A System for Sequential Synthesis and Verification , 2005 . http:\/\/www.eecs.berkeley.edu\/~alanmi\/abc\/ Berkeley Logic Synthesis and Verification Group. ABC: A System for Sequential Synthesis and Verification, 2005. http:\/\/www.eecs.berkeley.edu\/~alanmi\/abc\/"},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. Int'l Conf. on Very Large Scale Integration","author":"Brayton R.","year":"1989","unstructured":"R. Brayton and F. Somenzi . Boolean relations and the incomplete specification of logic networks . In Proc. Int'l Conf. on Very Large Scale Integration , 1989 . R. Brayton and F. Somenzi. Boolean relations and the incomplete specification of logic networks. In Proc. Int'l Conf. on Very Large Scale Integration, 1989."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1989.76961"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.2307\/2963593"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1990.130226"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_30"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/110316.149362"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/647769.734104"},{"key":"e_1_3_2_1_11_1","volume-title":"Proc. Int'l Conf. on Computer-Aided Design","author":"Lee C.-C.","year":"2007","unstructured":"C.-C. Lee , J.-H. R. Jiang , C.-Y. Huang , and A. Mishchenko . Scalable exploration of functional dependency by interpolation and incremental SAT solving . In Proc. Int'l Conf. on Computer-Aided Design , 2007 . C.-C. Lee, J.-H. R. Jiang, C.-Y. Huang, and A. Mishchenko. Scalable exploration of functional dependency by interpolation and incremental SAT solving. In Proc. Int'l Conf. on Computer-Aided Design, 2007."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391634"},{"key":"e_1_3_2_1_13_1","first-page":"32","volume-title":"Proc. Int'l Conf. on Computer-Aided Design","author":"Lin H.-P.","year":"2008","unstructured":"H.-P. Lin , J.-H. R. Jiang , and R.-R. Lee . To SAT or not to SAT: Ashenhurst decomposition in a large scale . In Proc. Int'l Conf. on Computer-Aided Design , pages 32 -- 37 , 2008 . H.-P. Lin, J.-H. R. Jiang, and R.-R. Lee. To SAT or not to SAT: Ashenhurst decomposition in a large scale. In Proc. Int'l Conf. on Computer-Aided Design, pages 32--37, 2008."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129848"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/774572.774654"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508128.1508152"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.256920"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDTC.1994.326812"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775909"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/339492.340081"}],"event":{"name":"ICCAD '09: The International Conference on Computer-Aided Design","location":"San Jose California","acronym":"ICCAD '09","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE Council on Electronic Design Automation (CEDA)"]},"container-title":["Proceedings of the 2009 International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1687399.1687544","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1687399.1687544","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:26:23Z","timestamp":1750278383000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1687399.1687544"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11,2]]},"references-count":21,"alternative-id":["10.1145\/1687399.1687544","10.1145\/1687399"],"URL":"https:\/\/doi.org\/10.1145\/1687399.1687544","relation":{},"subject":[],"published":{"date-parts":[[2009,11,2]]},"assertion":[{"value":"2009-11-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}