{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:49:31Z","timestamp":1740102571751,"version":"3.37.3"},"reference-count":12,"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\/501100007684","name":"Ministry of Education and Science of Ukraine","doi-asserted-by":"publisher","award":["264"],"award-info":[{"award-number":["264"]}],"id":[{"id":"10.13039\/501100007684","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100005357","name":"Slovak Research and Development Agency","doi-asserted-by":"publisher","award":["SK-UA-21-0037"],"award-info":[{"award-number":["SK-UA-21-0037"]}],"id":[{"id":"10.13039\/501100005357","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003193","name":"Ministry of Education, Science, Research and Sport of the Slovak Republic","doi-asserted-by":"publisher","award":["VEGA 1\/0858\/21"],"award-info":[{"award-number":["VEGA 1\/0858\/21"]}],"id":[{"id":"10.13039\/501100003193","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.10348726","type":"proceedings-article","created":{"date-parts":[[2023,12,21]],"date-time":"2023-12-21T19:20:33Z","timestamp":1703186433000},"page":"513-518","source":"Crossref","is-referenced-by-count":0,"title":["Dynamic Binary Decision Diagram Creation Using an Extended Apply Algorithm"],"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"}]},{"given":"Sergey","family":"Stankevich","sequence":"additional","affiliation":[{"name":"Scientific Centre for Aerospace Research of the Earth, NAS of Ukraine,Kiev,Ukraine"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511852008"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.2200\/s00766ed1v01y201704dcs052"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316900"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/tr.2016.2578948"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1108\/ijqrm-06-2016-0081"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-79852-8","volume-title":"Representation of Multiple-Valued Logic Functions","author":"Stankovi\u0107nd","year":"2012"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/tc.1986.1676819"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3274279"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"volume-title":"REPRESENTING BOOLEAN FUNCTIONS WITH IF-THEN-ELSE DAGs","year":"1988","author":"Karplus","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511693090"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1988.122451"}],"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\/10348726.pdf?arnumber=10348726","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T03:17:52Z","timestamp":1705029472000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10348726\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,7]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/idaacs58523.2023.10348726","relation":{},"subject":[],"published":{"date-parts":[[2023,9,7]]}}}