{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T04:44:07Z","timestamp":1775018647727,"version":"3.50.1"},"reference-count":20,"publisher":"Pleiades Publishing Ltd","issue":"4","license":[{"start":{"date-parts":[[2023,7,28]],"date-time":"2023-07-28T00:00:00Z","timestamp":1690502400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,7,28]],"date-time":"2023-07-28T00:00:00Z","timestamp":1690502400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2023,8]]},"DOI":"10.1134\/s0361768823040035","type":"journal-article","created":{"date-parts":[[2023,7,28]],"date-time":"2023-07-28T09:02:21Z","timestamp":1690534941000},"page":"268-285","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Experimental Study of Algorithms for Minimization of Binary Decision Diagrams Using Algebraic Representations of Cofactors"],"prefix":"10.1134","volume":"49","author":[{"given":"P. N.","family":"Bibilo","sequence":"first","affiliation":[]},{"given":"V. I.","family":"Romanov","sequence":"additional","affiliation":[]}],"member":"137","published-online":{"date-parts":[[2023,7,28]]},"reference":[{"key":"3741_CR1","first-page":"38","volume":"78","author":"R.K. Brayton","year":"1990","unstructured":"Brayton, R.K., Hachtel, G.D., and Sangiovanni-Vincentelli, A.L., Synthesis of multi-level combinational logic circuits, Tr. Inst. Inzh. Elektron. Radiotehn., 1990, vol. 78, no. 2, pp. 38\u201383.","journal-title":"Tr. Inst. Inzh. Elektron. Radiotehn."},{"key":"3741_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-58940-9","volume-title":"Algorithms and Data Structures in VLSI Design: OBDD \u2013 Foundations and Applications","author":"C. Meinel","year":"1998","unstructured":"Meinel, C. and Theobald, T., Algorithms and Data Structures in VLSI Design: OBDD \u2013 Foundations and Applications, Berlin, Heidelberg: Springer-Verlag, 1998."},{"key":"3741_CR3","unstructured":"Knuth, D.E., Combinatorial algorithms, in The Art of Computer Programming, Pearson Education, Inc., 2011, vol. 4A."},{"key":"3741_CR4","doi-asserted-by":"publisher","first-page":"866","DOI":"10.1109\/TCAD.2002.1013899","volume":"21","author":"S. Yang","year":"2002","unstructured":"Yang, S. and Ciesielski, M., BDS: a BDD-based logic optimization system, IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., 2002, vol. 21, no. 7, pp. 866\u2013876.","journal-title":"IEEE Trans. Comput.-Aided Design Integr. Circuits Syst."},{"key":"3741_CR5","volume-title":"Advanced BDD Optimization","author":"R. Ebendt","year":"2005","unstructured":"Ebendt, R., Fey, G., and Drechsler, R., Advanced BDD Optimization, Springer, 2005."},{"key":"3741_CR6","unstructured":"Bibilo, P.N., Primenenie diagramm dvoichnogo vybora pri sinteze logicheskikh skhem (Binary Decision Diagrams for Synthesizing Logic Circuits), Minsk: Belaruskaya navuka, 2014."},{"key":"3741_CR7","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1515\/eletel-2016-0004","volume":"62","author":"M. Kubica","year":"2016","unstructured":"Kubica, M. and Kania, D., SMTBDD: new form of BDD for logic synthesis, Int. J. Electron. Telecommun., 2016, vol. 62, no. 1, pp. 33\u201341.","journal-title":"Int. J. Electron. Telecommun."},{"key":"3741_CR8","first-page":"7","volume":"18","author":"P.N. Bibilo","year":"2021","unstructured":"Bibilo, P.N. and Romanov, V.I., Minimization of binary decision diagrams for systems of completely defined Boolean functions by using Shannon expansions and algebraic representations of cofactors, Informatika, 2021, vol. 18, no. 2, pp. 7\u201332.","journal-title":"Informatika"},{"key":"3741_CR9","first-page":"369","volume":"8","author":"P.N. Bibilo","year":"2017","unstructured":"Bibilo, P.N. and Lankevich, Yu.Yu., Zhegalkin polynomials for minimizing multilevel representations of Boolean functions systems based on the Shannon expansion, Programm. \n               Inzheneriya, 2017, vol. 8, no. 8, pp.\u00a0369\u2013384.","journal-title":"Inzheneriya"},{"key":"3741_CR10","unstructured":"Search for elementary cycles in a graph. https:\/\/vscode.ru\/prog-lessons\/poisk-elementarnyih-tsiklov-v-grafe.html. Accessed 05.082021."},{"key":"3741_CR11","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1137\/0204007","volume":"4","author":"D.B. Johnson","year":"1975","unstructured":"Johnson, D.B., Finding all the elementary circuits of a directed graph, SIAM J. Comput., 1975, vol. 4, no. 1, pp.\u00a077\u201384.","journal-title":"SIAM J. Comput."},{"key":"3741_CR12","unstructured":"Toropov, N.R., Multi-level combinational network transformation into a two-level one, in Logicheskoe proektirovanie (Logic Design), Minsk: United Institute of Informatics Problems of the National Academy of Sciences of Belarus, 2000, issue 5, pp. 4\u201314."},{"key":"3741_CR13","unstructured":"Shlee, M., Qt 5.10. Professional Programming in C++, St. Petersburg: BKhV-Peterburg, 2018."},{"key":"3741_CR14","unstructured":"Romanov, V.I., Software tools for solving logic-combinatorial problems, Informatika, 2005, no. 4, pp. 114\u2013123."},{"key":"3741_CR15","unstructured":"Bibilo, P.N. and Romanov, V.I., Logicheskoe proektirovanie diskretnykh ustroistv s ispol\u2019zovaniem produktsionno-freimovoi modeli predstavleniya znanii (Logical Design of Discrete Devices by Using a Production-Frame Knowledge Representation Model), Minsk: Belaruskaya navuka, 2011."},{"key":"3741_CR16","unstructured":"Bibilo, P.N. and Romanov, V.I., The system of logical optimization of functional and structural descriptions for digital devices based on production-frame knowledge representation model, in Problemy razrabotki perspektivnyh mikro- i nanoelektronnyh sistem. \u2013 2020. sb. trudov (Promising Micro- and Nano-Electronic Systems: Design Problems. Collection of Scientific Papers 2020), Stempkovskii, A.L., Ed., Moscow: Institute for Design Problems in Microelectronics RAS, 2020, no. 4."},{"key":"3741_CR17","unstructured":"The Tests in the Monograph \u00abLogic Minimization Algorithms for VLSI Synthesis\u00bb. http:\/\/www1.cs.columbia.edu\/~cs6861\/sis\/espresso-examples\/ex. Accessed 20.11.2020."},{"key":"3741_CR18","unstructured":"Balaka, E.S., Tel\u2019pukhov, D.V., Osinin, I.P., and Gorodetskii, D.A., Comparative study and analysis of hardware implementation methods for adders in absolute values, 7Universum: Tekh. Nauki: Elektron. Nauch. Zh., 2016, no. 1 (23).\nhttp:\/\/7universum.com\/ru\/tech\/archive\/item\/2887."},{"key":"3741_CR19","unstructured":"Bibilo, P.N., Sistemy proektirovaniya integral\u2019nykh skhem na osnove yazyka VHDL. StateCAD, ModelSim, LeonardoSpectrum (Integrated Circuit Design Systems Based on the VHDL Language: StateCAD, ModelSim, LeonardoSpectrum), Moscow: SOLON-Press, 2005."},{"key":"3741_CR20","doi-asserted-by":"crossref","unstructured":"Avdeev, N.A. and Bibilo, P.N., Automated Design for Digital Operational Units with Low Power Consumption, Programm. \n               Inzheneriya, 2021, no. 2, pp. 63\u201373.","DOI":"10.17587\/prin.12.63-73"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768823040035.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768823040035","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768823040035.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:54:40Z","timestamp":1775012080000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768823040035"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,28]]},"references-count":20,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2023,8]]}},"alternative-id":["3741"],"URL":"https:\/\/doi.org\/10.1134\/s0361768823040035","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,7,28]]},"assertion":[{"value":"9 January 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 February 2023","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 March 2023","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 July 2023","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare that they have no conflicts of interest.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"CONFLICT OF INTEREST"}}]}}