{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T15:49:25Z","timestamp":1756309765218},"reference-count":21,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2009,6,1]],"date-time":"2009-06-01T00:00:00Z","timestamp":1243814400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1109\/tcad.2009.2016547","type":"journal-article","created":{"date-parts":[[2009,5,19]],"date-time":"2009-05-19T21:03:47Z","timestamp":1242767027000},"page":"805-817","source":"Crossref","is-referenced-by-count":17,"title":["A Transform-Parametric Approach to Boolean Matching"],"prefix":"10.1109","volume":"28","author":[{"given":"G.","family":"Agosta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Bruschi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Pelosi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Sciuto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/EDTC.1996.494366"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/224818.224955"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2006.229270"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1992.279337"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1145\/277044.277100","article-title":"Boolean matching for large libraries","author":"hinsberger","year":"1998","journal-title":"Proceedings 1998 Design and Automation Conference 35th DAC (Cat No 98CH36175) DAC"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.810744"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2000.896526"},{"key":"ref17","first-page":"591","author":"debnath","year":"2004","journal-title":"Proc ASP-DAC"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.243959"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80103-4"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1674988"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/s100090100039","article-title":"application of bdds in boolean matching techniques for formal logic combinational verification","volume":"3","author":"mohnke","year":"2001","journal-title":"Int J Softw Tools Technol Transf"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/1278480.1278689","article-title":"a unified approach to canonical form-based boolean matching","author":"agosta","year":"2007","journal-title":"2007 44th ACM\/IEEE Design Automation Conference DAC"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.923256"},{"key":"ref8","author":"beauchamp","year":"1984","journal-title":"Applications of Walsh and Related Functions"},{"key":"ref7","author":"somenzi","year":"0","journal-title":"CUDD CU Decision Diagram Package"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/264995.264996"},{"key":"ref1","first-page":"663","article-title":"a neutral netlist of 10 combinational benchmark circuits and a target translator in fortran","author":"brglez","year":"1985","journal-title":"Proc IEEE Int Symp Circuits Syst"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/157485.164569","article-title":"spectral transforms for large boolean functions with applications to technology mapping","author":"clarke","year":"1993","journal-title":"30th ACM\/IEEE Design Automation Conference"},{"key":"ref20","first-page":"123","article-title":"partitions, refinements, and permutation group computation","volume":"28","author":"leon","year":"1997","journal-title":"Proc Groups Comput II Workshop Groups Comput Jun 710 1995 New Brunswick NJ USA"},{"key":"ref21","author":"lang","year":"1966","journal-title":"Linear Algebra"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/43\/4957591\/04957594.pdf?arnumber=4957594","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T00:02:42Z","timestamp":1633910562000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4957594\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6]]},"references-count":21,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2009.2016547","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,6]]}}}