{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T22:08:55Z","timestamp":1755036535236},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1109\/fpl.2016.7577306","type":"proceedings-article","created":{"date-parts":[[2016,9,29]],"date-time":"2016-09-29T22:11:15Z","timestamp":1475187075000},"page":"1-4","source":"Crossref","is-referenced-by-count":17,"title":["Fast hierarchical NPN classification"],"prefix":"10.1109","author":[{"given":"Ana","family":"Petkovska","sequence":"first","affiliation":[]},{"given":"Mathias","family":"Soeken","sequence":"additional","affiliation":[]},{"given":"Giovanni","family":"De Micheli","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Ienne","sequence":"additional","affiliation":[]},{"given":"Alan","family":"Mishchenko","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1065579.1065681"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.243959"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/FPT.2013.6718374"},{"year":"2016","key":"ref13","article-title":"ABC: A System for Sequential Synthesis and Verification"},{"key":"ref14","first-page":"74","article-title":"The decomposition of switching functions","author":"ashenhurst","year":"1957","journal-title":"Proceedings of the International Symposium on the Theory of Switching"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/43.277607"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2684746.2689082"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397290"},{"journal-title":"Introduction to Switching and Automata Theory","year":"1965","author":"harrison","key":"ref6"},{"key":"ref5","first-page":"747","article-title":"Some theorems useful in threshold logic for enumerating Boolean functions","author":"goto","year":"1962","journal-title":"International Federation for Information Processing Congress"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/277044.277100"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/264995.264996"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2429384.2429513"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2010.105"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2004.1337660"}],"event":{"name":"2016 26th International Conference on Field Programmable Logic and Applications (FPL)","start":{"date-parts":[[2016,8,29]]},"location":"Lausanne, Switzerland","end":{"date-parts":[[2016,9,2]]}},"container-title":["2016 26th International Conference on Field Programmable Logic and Applications (FPL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7573873\/7577295\/07577306.pdf?arnumber=7577306","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,10,12]],"date-time":"2016-10-12T02:56:25Z","timestamp":1476240985000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7577306\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/fpl.2016.7577306","relation":{},"subject":[],"published":{"date-parts":[[2016,8]]}}}