{"id":"https://openalex.org/W3095638317","doi":"https://doi.org/10.23919/mipro48935.2020.9245400","title":"HPC-based parallel software for solving applied Boolean satisfiability problems","display_name":"HPC-based parallel software for solving applied Boolean satisfiability problems","publication_year":2020,"publication_date":"2020-09-28","ids":{"openalex":"https://openalex.org/W3095638317","doi":"https://doi.org/10.23919/mipro48935.2020.9245400","mag":"3095638317"},"language":"en","primary_location":{"id":"doi:10.23919/mipro48935.2020.9245400","is_oa":false,"landing_page_url":"https://doi.org/10.23919/mipro48935.2020.9245400","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 43rd International Convention on Information, Communication and Electronic Technology (MIPRO)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013452416","display_name":"V.G. Bogdanova","orcid":"https://orcid.org/0000-0002-5763-6849"},"institutions":[{"id":"https://openalex.org/I4210148533","display_name":"Institute for System Dynamics and Control Theory","ror":"https://ror.org/04wteqw51","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I1313323035","https://openalex.org/I4210127387","https://openalex.org/I4210148533","https://openalex.org/I4210164537"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"V.G. Bogdanova","raw_affiliation_strings":["Matrosov Institute for System Dynamics and Control Theory of SB RAS, Irkutsk, Russia"],"affiliations":[{"raw_affiliation_string":"Matrosov Institute for System Dynamics and Control Theory of SB RAS, Irkutsk, Russia","institution_ids":["https://openalex.org/I4210148533"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048472412","display_name":"Sergey Gorsky","orcid":"https://orcid.org/0000-0003-0177-9741"},"institutions":[{"id":"https://openalex.org/I4210148533","display_name":"Institute for System Dynamics and Control Theory","ror":"https://ror.org/04wteqw51","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I1313323035","https://openalex.org/I4210127387","https://openalex.org/I4210148533","https://openalex.org/I4210164537"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"S.A. Gorsky","raw_affiliation_strings":["Matrosov Institute for System Dynamics and Control Theory of SB RAS, Irkutsk, Russia"],"affiliations":[{"raw_affiliation_string":"Matrosov Institute for System Dynamics and Control Theory of SB RAS, Irkutsk, Russia","institution_ids":["https://openalex.org/I4210148533"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046194925","display_name":"\u0410.\u0410. \u041f\u0430\u0448\u0438\u043d\u0438\u043d","orcid":"https://orcid.org/0000-0002-1205-7595"},"institutions":[{"id":"https://openalex.org/I4210148533","display_name":"Institute for System Dynamics and Control Theory","ror":"https://ror.org/04wteqw51","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I1313323035","https://openalex.org/I4210127387","https://openalex.org/I4210148533","https://openalex.org/I4210164537"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"A.A. Pashinin","raw_affiliation_strings":["Matrosov Institute for System Dynamics and Control Theory of SB RAS, Irkutsk, Russia"],"affiliations":[{"raw_affiliation_string":"Matrosov Institute for System Dynamics and Control Theory of SB RAS, Irkutsk, Russia","institution_ids":["https://openalex.org/I4210148533"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5013452416"],"corresponding_institution_ids":["https://openalex.org/I4210148533"],"apc_list":null,"apc_paid":null,"fwci":0.5629,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.7362558,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1006","last_page":"1011"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10211","display_name":"Computational Drug Discovery Methods","score":0.9354000091552734,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10211","display_name":"Computational Drug Discovery Methods","score":0.9354000091552734,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T14470","display_name":"Advanced Data Processing Techniques","score":0.9114000201225281,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T14414","display_name":"Artificial Intelligence in Education","score":0.9079999923706055,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.7001142501831055},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.625030517578125},{"id":"https://openalex.org/keywords/maximum-satisfiability-problem","display_name":"Maximum satisfiability problem","score":0.5816632509231567},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5746780037879944},{"id":"https://openalex.org/keywords/and-inverter-graph","display_name":"And-inverter graph","score":0.5690062046051025},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.5649949908256531},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.4786861538887024},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.44789063930511475},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.28369981050491333}],"concepts":[{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.7001142501831055},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.625030517578125},{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.5816632509231567},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5746780037879944},{"id":"https://openalex.org/C196836630","wikidata":"https://www.wikidata.org/wiki/Q4753279","display_name":"And-inverter graph","level":4,"score":0.5690062046051025},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.5649949908256531},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.4786861538887024},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.44789063930511475},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.28369981050491333}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/mipro48935.2020.9245400","is_oa":false,"landing_page_url":"https://doi.org/10.23919/mipro48935.2020.9245400","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 43rd International Convention on Information, Communication and Electronic Technology (MIPRO)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1493523706","https://openalex.org/W1965334268","https://openalex.org/W2052436426","https://openalex.org/W2117523590","https://openalex.org/W2118622620","https://openalex.org/W2131318319","https://openalex.org/W2166214692","https://openalex.org/W2529500221","https://openalex.org/W2765303668","https://openalex.org/W2809849443","https://openalex.org/W2810168957","https://openalex.org/W2956790977","https://openalex.org/W2956883802","https://openalex.org/W2974428083","https://openalex.org/W2977472319","https://openalex.org/W3029344411","https://openalex.org/W3123509436","https://openalex.org/W4206469416","https://openalex.org/W6768485804","https://openalex.org/W6768642934","https://openalex.org/W6778073800","https://openalex.org/W6806429505"],"related_works":["https://openalex.org/W2408080066","https://openalex.org/W2394616262","https://openalex.org/W192406999","https://openalex.org/W2406837904","https://openalex.org/W3152212242","https://openalex.org/W2014111643","https://openalex.org/W2102364390","https://openalex.org/W4249396218","https://openalex.org/W1745650241","https://openalex.org/W2184010066"],"abstract_inverted_index":{"Boolean":[0,25,31,56,83,101,105,144,164,184],"satisfiability":[1,26,57,84],"is":[2,138,212],"one":[3],"of":[4,14,24,30,37,41,54,62,78,94,112,120,135,143,149,163,181,183,193,201,205,221],"the":[5,12,35,55,60,76,88,91,100,113,118,141,161,170,195,217,222],"fundamental":[6],"problems":[7,18,23,85],"in":[8,68,90,117,140],"mathematical":[9],"logic":[10,122],"and":[11,50,126,173,219],"theory":[13],"computation.":[15],"Many":[16],"practical":[17],"can":[19],"be":[20],"formulated":[21],"as":[22],"(solving":[27],"a":[28,69,109,133,147,158,202],"system":[29],"equations).":[32],"These":[33],"include":[34],"tasks":[36],"cryptography,":[38],"qualitative":[39,92],"research":[40],"binary":[42,95],"dynamic":[43,96],"systems,":[44],"logical":[45],"programming,":[46],"robot":[47],"action":[48],"planning,":[49],"many":[51],"others.":[52],"NP-complexity":[53],"problem":[58],"actualizes":[59],"development":[61,77],"parallel":[63,80,155],"software":[64,177,224],"for":[65,82],"solving":[66],"it":[67],"high-performance":[70],"computing":[71],"environment.":[72],"We":[73],"focus":[74],"on":[75,99,130,160,209],"specialized":[79],"solvers":[81,156],"oriented":[86],"to":[87,188,198],"application":[89],"study":[93],"systems":[97],"based":[98,208],"constraint":[102,106],"method.":[103],"The":[104,153,214],"method":[107],"uses":[108],"formal":[110,151],"definition":[111],"dynamical":[114,136],"property,":[115,172],"presented":[116],"language":[119],"predicate":[121],"with":[123],"limited":[124],"existential":[125],"universal":[127],"quantifiers.":[128],"Based":[129],"this":[131,167,189],"definition,":[132],"model":[134],"property":[137],"formed":[139],"form":[142],"constraints":[145],"by":[146],"series":[148],"sequential":[150],"transformations.":[152],"developed":[154,196,223],"provide":[157],"conclusion":[159,168],"feasibility":[162],"constraints,":[165],"interpret":[166],"accordingly":[169],"tested":[171],"find,":[174],"unlike":[175],"similar":[176],"tools,":[178],"all":[179],"sets":[180],"values":[182],"variables":[185],"that":[186],"lead":[187],"conclusion.":[190],"An":[191],"example":[192],"applying":[194],"solver":[197],"constructing":[199],"cycles":[200],"given":[203],"length":[204],"stream":[206],"ciphers":[207],"shift":[210],"registers":[211],"considered.":[213],"results":[215],"confirming":[216],"effectiveness":[218],"scalability":[220],"are":[225],"presented.":[226]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}