{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T06:53:41Z","timestamp":1648536821790},"reference-count":42,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2015,11,1]],"date-time":"2015-11-01T00:00:00Z","timestamp":1446336000000},"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":["Proc. IEEE"],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/jproc.2015.2480891","type":"journal-article","created":{"date-parts":[[2015,10,14]],"date-time":"2015-10-14T00:29:49Z","timestamp":1444782589000},"page":"2076-2092","source":"Crossref","is-referenced-by-count":2,"title":["Application of a Key\u2013Value Paradigm to Logic Factoring"],"prefix":"10.1109","volume":"103","author":[{"given":"Victor N.","family":"Kravets","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511780448.019"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129967"},{"key":"ref33","author":"sentovich","year":"1992","journal-title":"SIS A system for sequential circuit synthesis"},{"key":"ref32","author":"sadalage","year":"2012","journal-title":"NoSQL Distilled A Brief Guide to the Emerging World of Polyglot Persistence"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1147\/rd.62.0227"},{"key":"ref30","year":"0","journal-title":"Multi-output PLA benchmarks"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.855944"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/s00034-014-9796-3"},{"key":"ref35","author":"strauch","year":"0","journal-title":"NoSQL Databases"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1147\/rd.404.0407"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.1987.1270347"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-2821-6","author":"brayton","year":"1984","journal-title":"Logic Minimization Algorithms for VLSI Synthesis"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC.2009.5306783"},{"key":"ref12","first-page":"24","article-title":"ABC: An academic industrial-strength verification tool","author":"brayton","year":"0","journal-title":"Proc Int Conf Comput Aided Verif"},{"key":"ref13","first-page":"316","article-title":"An exact minimization for Boolean relations","author":"brayton","year":"0","journal-title":"Proc Int Conf Comput -Aided Design"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s11336-007-9049-5"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref16","author":"butenhof","year":"1997","journal-title":"Programming with POSIX Threads"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0817-5_1"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"key":"ref19","year":"0","journal-title":"Espresso"},{"key":"ref4","first-page":"416","article-title":"A recursive paradigm to solve boolean relations","author":"baneres","year":"2004","journal-title":"Proceedings 41st Design Automation Conference 2004 DAC"},{"key":"ref28","first-page":"64","article-title":"Fast generation of irredundant sum-of-products forms from binary decision diagrams","author":"minato","year":"0","journal-title":"Proc Synthesis Simulation Meeting Int Interchange"},{"key":"ref3","first-page":"74","article-title":"The decomposition of switching functions","volume":"29","author":"ashenhurst","year":"1959","journal-title":"Ann Comput Lab Harvard Univ"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/43.494701"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1983.1676139"},{"key":"ref5","article-title":"The lambda calculus: Its syntax and semantics","volume":"103","author":"barendregt","year":"1985","journal-title":"Studies in Logic and the Foundations of Mathematics"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2068716.2068720"},{"key":"ref8","first-page":"29","article-title":"The decomposition and factorization of Boolean expressions","author":"brayton","year":"0","journal-title":"Proc Int Symp Circuits Syst"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580110"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2006.871760"},{"key":"ref9","first-page":"346","article-title":"Automated implementation of switching functions as dynamic CMOS circuits","author":"brayton","year":"0","journal-title":"Proc Custom Integr Circuit Conf"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.4007\/annals.2004.160.781"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1137\/0117039"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1147\/rd.185.0443"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.18637\/jss.v025.i03"},{"key":"ref24","article-title":"Ternary CAM memory architecture and methodology","author":"kempke","year":"1996"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775909"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1687399.1687544"},{"key":"ref41","author":"yu","year":"1998","journal-title":"Principles of Database Query Processing for Advanced Applications"},{"key":"ref26","first-page":"69","article-title":"Reducing routing table size using ternary-CAM","author":"liu","year":"0","journal-title":"Proc 9th Symp High-Performance Interconnects"},{"key":"ref25","first-page":"131","article-title":"Building circuits from relations","author":"kukula","year":"0","journal-title":"Proc 12th Conf Comput Aided Verif"}],"container-title":["Proceedings of the IEEE"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/5\/7302610\/07298062.pdf?arnumber=7298062","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T15:58:43Z","timestamp":1642003123000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7298062\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":42,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/jproc.2015.2480891","relation":{},"ISSN":["0018-9219","1558-2256"],"issn-type":[{"value":"0018-9219","type":"print"},{"value":"1558-2256","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,11]]}}}