{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:00:31Z","timestamp":1740132031391,"version":"3.37.3"},"reference-count":24,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100004410","name":"TUBITAK-Career Project","doi-asserted-by":"publisher","award":["113E760"],"award-info":[{"award-number":["113E760"]}],"id":[{"id":"10.13039\/501100004410","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004410","name":"TUBITAK-2501 Project","doi-asserted-by":"publisher","award":["218E068"],"award-info":[{"award-number":["218E068"]}],"id":[{"id":"10.13039\/501100004410","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1109\/tcad.2020.3035629","type":"journal-article","created":{"date-parts":[[2020,11,3]],"date-time":"2020-11-03T20:47:40Z","timestamp":1604436460000},"page":"2036-2048","source":"Crossref","is-referenced-by-count":0,"title":["Realization of Logic Functions Using Switching Lattices Under a Delay Constraint"],"prefix":"10.1109","volume":"40","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6129-9657","authenticated-orcid":false,"given":"Levent","family":"Aksoy","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9067-0603","authenticated-orcid":false,"given":"Nihat","family":"Akkan","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7852-5825","authenticated-orcid":false,"given":"Herman","family":"Sedef","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3103-1809","authenticated-orcid":false,"given":"Mustafa","family":"Altun","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2018.08.002"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8714809"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2019.2950663"},{"key":"ref13","first-page":"1","article-title":"A novel method for the realization of complex logic functions using switching lattices","author":"aksoy","year":"2020","journal-title":"Proc Int Symp Circuits Syst"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.23919\/DATE48585.2020.9116304"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"key":"ref16","first-page":"234","article-title":"On the complexity of derivation in propositional calculus","author":"tseitin","year":"1968","journal-title":"Studies in Constructive Mathematics and Mathematical Logic Part II Seminars in Mathematics"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/43.108614"},{"journal-title":"CMOS VLSI Design A Circuits and Systems Perspective","year":"2010","author":"weste","key":"ref18"},{"journal-title":"CMOS Digital Integrated Circuits Analysis and Design","year":"2014","author":"kang","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s00339-004-3154-4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s00339-004-3149-1"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2661632"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1038\/nature09749"},{"key":"ref8","first-page":"1","article-title":"Synthesis of switching lattices of dimensional-reducible boolean functions","author":"bernasconi","year":"2016","journal-title":"Proc Int Conf Very Large Scale Integration Design"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2016.75"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1126\/science.1066192"},{"key":"ref1","first-page":"114","article-title":"Cramming more components onto integrated circuits","volume":"38","author":"moore","year":"1965","journal-title":"Electronics"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2017.54"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/43.559334"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-2821-6"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.170"},{"article-title":"Logic synthesis and optimization benchmarks user guide: Version 3.0","year":"1991","author":"yang","key":"ref24"},{"key":"ref23","first-page":"399","article-title":"Predicting learnt clauses quality in modern sat solver","author":"audemard","year":"2009","journal-title":"Proc Int Joint Conf Artif Intell"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/9540731\/09247166.pdf?arnumber=9247166","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:49:35Z","timestamp":1652194175000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9247166\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10]]},"references-count":24,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2020.3035629","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"type":"print","value":"0278-0070"},{"type":"electronic","value":"1937-4151"}],"subject":[],"published":{"date-parts":[[2021,10]]}}}