{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T20:00:07Z","timestamp":1771704007349,"version":"3.50.1"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1109\/ddecs.2009.5012095","type":"proceedings-article","created":{"date-parts":[[2009,6,2]],"date-time":"2009-06-02T20:44:32Z","timestamp":1243975472000},"page":"34-37","source":"Crossref","is-referenced-by-count":4,"title":["An utilisation of Boolean differential calculus in variables partition calculation for decomposition of logic functions"],"prefix":"10.1109","author":[{"given":"Stefan","family":"Kolodzinski","sequence":"first","affiliation":[]},{"given":"Edward","family":"Hrynkiewicz","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","article-title":"logic synthesis and optimisation benchmarks user guide ver. 3.0","author":"yang","year":"1991","journal-title":"Microelectronic Center of North Carolina"},{"key":"2","article-title":"the decompositions of switching functions","author":"ashenhurst","year":"1959","journal-title":"Proceedings of International Symposium on the Theory of Switching Functions"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.1145\/368434.368627","article-title":"three parameters to find functional decomposition","author":"sasao","year":"2000","journal-title":"Proceedings of Asia and South Pacific Design Automation Conference"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1137\/0107041"},{"key":"7","author":"ko?odzin?ski","year":"2003","journal-title":"Logic Functions Decomposition in Spectral Domain Directed on Implementation of Such Functions in LUT Based FPGA\""},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2007.4295284"},{"key":"5","author":"green","year":"1986","journal-title":"Modern Logic Design"},{"key":"4","first-page":"172","author":"curtis","year":"1962","journal-title":"A New Approach to the Design of Switching Circuits"},{"key":"9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-1303-8","author":"minato","year":"1996","journal-title":"Binary Decision Diagrams and Applicationfor VLSI CAD"},{"key":"8","article-title":"a general approach to boolean function decomposition and its application in fpga-based synthesis","volume":"3","author":"?uba","year":"1995","journal-title":"VLSI Design Special Issueon Decomposition in VLSI Design"},{"key":"11","author":"yanushkevitch","year":"1998","journal-title":"Boolean Differential Calculus in Multi-Value Logic Design"}],"event":{"name":"2009 12th International Symposium on Design and Diagnostics of Electronic Circuits & Systems","location":"Liberec, Czech Republic","start":{"date-parts":[[2009,4,15]]},"end":{"date-parts":[[2009,4,17]]}},"container-title":["2009 12th International Symposium on Design and Diagnostics of Electronic Circuits & Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4957849\/5012077\/05012095.pdf?arnumber=5012095","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T21:31:49Z","timestamp":1739136709000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5012095\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/ddecs.2009.5012095","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}