{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T14:16:46Z","timestamp":1758809806956,"version":"3.37.3"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,9,7]],"date-time":"2023-09-07T00:00:00Z","timestamp":1694044800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,9,7]],"date-time":"2023-09-07T00:00:00Z","timestamp":1694044800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100008530","name":"European Regional Development Fund","doi-asserted-by":"publisher","award":["ITMS 313011V422"],"award-info":[{"award-number":["ITMS 313011V422"]}],"id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,9,7]]},"DOI":"10.1109\/idaacs58523.2023.10348717","type":"proceedings-article","created":{"date-parts":[[2023,12,21]],"date-time":"2023-12-21T19:20:33Z","timestamp":1703186433000},"page":"793-797","source":"Crossref","is-referenced-by-count":1,"title":["Generating Monotone Boolean Functions Using Hasse Diagram"],"prefix":"10.1109","author":[{"given":"Michal","family":"Mrena","sequence":"first","affiliation":[{"name":"University of Zilina,Faculty of Management Science and Informatics,Zilina,Slovakia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miroslav","family":"Kvassay","sequence":"additional","affiliation":[{"name":"University of Zilina,Faculty of Management Science and Informatics,Zilina,Slovakia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511693090"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511852008"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/tr.2016.2578948"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316900"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1108\/ijqrm-06-2016-0081"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/tr.2012.2194196"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1177\/1748006x17744381"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.2307\/2268441"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1988.122451"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-663-07224-9_1"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.1016\/j.jaca.2023.100006","volume-title":"A computation of the ninth Dedekind Number","author":"J\u00e4kel","year":"2023"},{"journal-title":"Sequence A000372 in the On-Line Encyclopedia of Integer Sequences","year":"2023","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-070-4"},{"volume-title":"Introduction to Algorithms","year":"2009","author":"Cormen","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/tc.1986.1676819"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.2200\/s00766ed1v01y201704dcs052"}],"event":{"name":"2023 IEEE 12th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)","start":{"date-parts":[[2023,9,7]]},"location":"Dortmund, Germany","end":{"date-parts":[[2023,9,9]]}},"container-title":["2023 IEEE 12th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10348627\/10348628\/10348717.pdf?arnumber=10348717","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T03:17:39Z","timestamp":1705029459000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10348717\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,7]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/idaacs58523.2023.10348717","relation":{},"subject":[],"published":{"date-parts":[[2023,9,7]]}}}