{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T01:28:52Z","timestamp":1730251732828,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,8]]},"DOI":"10.1109\/icnc.2010.5583819","type":"proceedings-article","created":{"date-parts":[[2010,9,29]],"date-time":"2010-09-29T18:03:07Z","timestamp":1285783387000},"page":"367-371","source":"Crossref","is-referenced-by-count":0,"title":["Logic functions minimization algorithm based on recognition of essential prime implicants"],"prefix":"10.1109","author":[{"given":"Jianlin","family":"Qiu","sequence":"first","affiliation":[]},{"given":"Xiang","family":"Gu","sequence":"additional","affiliation":[]},{"given":"Dan","family":"Ji","sequence":"additional","affiliation":[]},{"given":"Fen","family":"Li","sequence":"additional","affiliation":[]},{"given":"Peng","family":"He","sequence":"additional","affiliation":[]},{"given":"Bo","family":"Wang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","first-page":"176","article-title":"Exploring Multi-valued Minimization Using Binary Methods[A]","author":"mishchenko","year":"2003","journal-title":"Proc 12th Int'l Workshop Logic and Synthesis"},{"journal-title":"Synthesis and Optimization of Digital Circuits","year":"1994","author":"giovanni","key":"ref3"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1109\/T-C.1970.222967","article-title":"recursive operators for prime implicant and irredundant normal form determination","volume":"c 19","author":"morreale","year":"1970","journal-title":"IEEE Transactions on Computers"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/43.905674"},{"key":"ref11","first-page":"64","article-title":"Fast Generation of Irredundant Sum-of-Product Forms from Binary Decision Diagrams[A]","author":"minato","year":"1992","journal-title":"Proc of SASIMI'92 (Synthesis and Simulation Meeting and International Interchange)"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1109\/T-C.1970.222967","article-title":"recursive operators for prime implicant and irredundant normal form determination","volume":"c 19","author":"morreale","year":"1970","journal-title":"IEEE Transactions on Computers"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.1996.508365"},{"key":"ref8","first-page":"501","article-title":"Determining Essential Implicants Based on Product-Term Separation[A]","author":"bo","year":"2004","journal-title":"Proc of 26th International Conference on Information Technology Interface"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/43.833206"},{"key":"ref2","first-page":"2344","article-title":"Essential prime implicant tester[J]","volume":"24","author":"bahnsen","year":"1981","journal-title":"IBM Tech Disclosure Bulletin"},{"key":"ref9","first-page":"97","article-title":"Two-Level Logic Minimization[J]","volume":"17","author":"coudert","year":"1994","journal-title":"An Overview Integration"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-2821-6","author":"brayton","year":"1984","journal-title":"Logic Minimization Algorithms for VLSI Synthesis"}],"event":{"name":"2010 Sixth International Conference on Natural Computation (ICNC)","start":{"date-parts":[[2010,8,10]]},"location":"Yantai","end":{"date-parts":[[2010,8,12]]}},"container-title":["2010 Sixth International Conference on Natural Computation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5564900\/5582888\/05583819.pdf?arnumber=5583819","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,25]],"date-time":"2020-02-25T05:40:42Z","timestamp":1582609242000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/5583819\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,8]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/icnc.2010.5583819","relation":{},"subject":[],"published":{"date-parts":[[2010,8]]}}}