{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T13:24:26Z","timestamp":1756992266272,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,9,28]]},"DOI":"10.23919\/mipro48935.2020.9245400","type":"proceedings-article","created":{"date-parts":[[2020,11,6]],"date-time":"2020-11-06T21:51:34Z","timestamp":1604699494000},"page":"1006-1011","source":"Crossref","is-referenced-by-count":2,"title":["HPC-based parallel software for solving applied Boolean satisfiability problems"],"prefix":"10.23919","author":[{"given":"V.G.","family":"Bogdanova","sequence":"first","affiliation":[]},{"given":"S.A.","family":"Gorsky","sequence":"additional","affiliation":[]},{"given":"A.A.","family":"Pashinin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2010.20"},{"key":"ref11","article-title":"Towards Optimal Decomposition of Boolean Networks","volume":"14","author":"su","year":"2015","journal-title":"IEEE\/ACM Transactions on Computational Biology and Bioinformatics"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1186\/s12918-016-0338-4"},{"journal-title":"Satisfiability Suggested Format","year":"2019","key":"ref13"},{"key":"ref14","article-title":"Boolean Monomial Dynamical Systems","author":"colon-reyes","year":"0","journal-title":"arXiv math\/0403166v1"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2975585"},{"journal-title":"All Solutions SAT Repository","year":"2019","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.23919\/MIPRO.2018.8400042"},{"journal-title":"Irkutsk Supercomputer Centre of SB RAS","year":"2019","key":"ref18"},{"journal-title":"Boolean Networks with Synchronous","year":"2019","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.23919\/MIPRO.2018.8400255"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.23919\/MIPRO.2019.8757154"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0094258"},{"key":"ref5","first-page":"1068","article-title":"A SAT-Based Algorithm for Finding Short Cycles in Shift Register Based Stream Ciphers","author":"dubrova","year":"2016","journal-title":"IACR Cryptology ePrint Archive"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S1359-6446(01)02096-7"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-69483-2_14"},{"key":"ref2","first-page":"407","article-title":"Qualitative analysis of autonomous synchronous binary dynamic systems","volume":"10","author":"oparin","year":"2019","journal-title":"Mathematics in Engineering Science and Aerospace (MESA)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.23919\/MIPRO.2019.8757053"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75140-3_16"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2012.10.007"},{"key":"ref22","first-page":"477","article-title":"The synthesis of stabilizing feedback for binary dynamic systems: a logical approach","volume":"10","author":"oparin","year":"2019","journal-title":"Mathematics in Engineering Science and Aerospace (MESA)"},{"year":"2020","key":"ref21"}],"event":{"name":"2020 43rd International Convention on Information, Communication and Electronic Technology (MIPRO)","start":{"date-parts":[[2020,9,28]]},"location":"Opatija, Croatia","end":{"date-parts":[[2020,10,2]]}},"container-title":["2020 43rd International Convention on Information, Communication and Electronic Technology (MIPRO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9245088\/9245075\/09245400.pdf?arnumber=9245400","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,13]],"date-time":"2021-01-13T05:10:06Z","timestamp":1610514606000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9245400\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,28]]},"references-count":22,"URL":"https:\/\/doi.org\/10.23919\/mipro48935.2020.9245400","relation":{},"subject":[],"published":{"date-parts":[[2020,9,28]]}}}