{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:43:36Z","timestamp":1750308216968,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,6,7]],"date-time":"2004-06-07T00:00:00Z","timestamp":1086566400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2004,6,7]]},"DOI":"10.1145\/996566.996687","type":"proceedings-article","created":{"date-parts":[[2004,7,20]],"date-time":"2004-07-20T15:55:38Z","timestamp":1090338938000},"page":"416-421","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["A recursive paradigm to solve Boolean relations"],"prefix":"10.1145","author":[{"given":"David","family":"Ba\u00f1eres","sequence":"first","affiliation":[{"name":"University Polit\u00e8cnica de Catalunya, Barcelona, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jordi","family":"Cortadella","sequence":"additional","affiliation":[{"name":"University Polit\u00e8cnica de Catalunya, Barcelona, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mike","family":"Kishinevsky","sequence":"additional","affiliation":[{"name":"Strategic CAD Lab, Intel Corp., Hillsboro, OR"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2004,6,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/264995.264996"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1989.76961"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2078-5","volume-title":"Boolean Reasoning: The Logic of Boolean Equations","author":"Brown F.","year":"1990","unstructured":"F. Brown . Boolean Reasoning: The Logic of Boolean Equations . Kluwer Academic Publishers , 1990 . F. Brown. Boolean Reasoning: The Logic of Boolean Equations. Kluwer Academic Publishers, 1990."},{"key":"e_1_3_2_1_4_1","first-page":"111","volume-title":"Proc. IFIP International Workshop on Applied Formal Methods for Correct VLSI Design","author":"Coudert O.","year":"1989","unstructured":"O. Coudert , C. Berthet , and J. Madre . Verification of synchronous sequential machines using boolean functional vectors . In Proc. IFIP International Workshop on Applied Formal Methods for Correct VLSI Design , pages 111 -- 128 , Nov. 1989 . O. Coudert, C. Berthet, and J. Madre. Verification of synchronous sequential machines using boolean functional vectors. In Proc. IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, pages 111--128, Nov. 1989."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129859"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.469659"},{"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","volume-title":"Nov.","author":"Hofstee P.","year":"2003","unstructured":"P. Hofstee and F. Alam . Design of high end processors for the consumer space , Nov. 2003 . Talk at Sunday Workshop ICCAD. P. Hofstee and F. Alam. Design of high end processors for the consumer space, Nov. 2003. Talk at Sunday Workshop ICCAD."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/304032.304145"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129848"},{"key":"e_1_3_2_1_11_1","volume-title":"Synthesis and Optimization of Digital Circuits","author":"Micheli G. D.","year":"1994","unstructured":"G. D. Micheli . Synthesis and Optimization of Digital Circuits . McGraw Hill , 1994 . G. D. Micheli. Synthesis and Optimization of Digital Circuits. McGraw Hill, 1994."},{"key":"e_1_3_2_1_12_1","volume-title":"E76-A(6):967--973","author":"Minato S.","year":"1993","unstructured":"S. Minato . Fast generation of prime-irredundant covers from binary decision diagrams. IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences , E76-A(6):967--973 , June 1993 . S. Minato. Fast generation of prime-irredundant covers from binary decision diagrams. IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences, E76-A(6):967--973, June 1993."},{"key":"e_1_3_2_1_13_1","first-page":"207","volume-title":"Design of High-Performance Microprocessor Circuits","author":"Partovi H.","year":"2001","unstructured":"H. Partovi . Clocked storage elements . In A. Chandrakasan, W. Bowhill, and F. Fox, editors, Design of High-Performance Microprocessor Circuits , chapter 11, pages 207 -- 234 . IEEE Press , 2001 . H. Partovi. Clocked storage elements. In A. Chandrakasan, W. Bowhill, and F. Fox, editors, Design of High-Performance Microprocessor Circuits, chapter 11, pages 207--234. IEEE Press, 2001."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/978-1-4615-0817-5_3","volume-title":"Logic Synthesis and Verification","author":"Sentovich E.","year":"2002","unstructured":"E. Sentovich and D. Brand . Flexibility in logic . In S. Hassoun and T. Sasao, editors, Logic Synthesis and Verification , chapter 3, pages 65 -- 88 . Kluwer Academic Publishers , 2002 . E. Sentovich and D. Brand. Flexibility in logic. In S. Hassoun and T. Sasao, editors, Logic Synthesis and Verification, chapter 3, pages 65--88. Kluwer Academic Publishers, 2002."},{"key":"e_1_3_2_1_15_1","first-page":"37","article-title":"The theory of representations for Boolean algebras","volume":"40","author":"Stone M.","year":"1936","unstructured":"M. Stone . The theory of representations for Boolean algebras . Trans. Amer. Math. Soc. , 40 : 37 -- 111 , 1936 . M. Stone. The theory of representations for Boolean algebras. Trans. Amer. Math. Soc., 40:37--111, 1936.","journal-title":"Trans. Amer. Math. Soc."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.256920"}],"event":{"name":"DAC04: The 41st Annual Design Automation Conference 2004","sponsor":["ACM Association for Computing Machinery","SIGDA ACM Special Interest Group on Design Automation"],"location":"San Diego CA USA","acronym":"DAC04"},"container-title":["Proceedings of the 41st annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/996566.996687","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/996566.996687","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:31:11Z","timestamp":1750264271000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/996566.996687"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,6,7]]},"references-count":16,"alternative-id":["10.1145\/996566.996687","10.1145\/996566"],"URL":"https:\/\/doi.org\/10.1145\/996566.996687","relation":{},"subject":[],"published":{"date-parts":[[2004,6,7]]},"assertion":[{"value":"2004-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}