{"id":"https://openalex.org/W2810168957","doi":"https://doi.org/10.23919/mipro.2018.8400042","title":"Scalable parallel solver of boolean satisfiability problems","display_name":"Scalable parallel solver of boolean satisfiability problems","publication_year":2018,"publication_date":"2018-05-01","ids":{"openalex":"https://openalex.org/W2810168957","doi":"https://doi.org/10.23919/mipro.2018.8400042","mag":"2810168957"},"language":"en","primary_location":{"id":"doi:10.23919/mipro.2018.8400042","is_oa":false,"landing_page_url":"https://doi.org/10.23919/mipro.2018.8400042","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 41st International Convention on Information and Communication Technology, Electronics and Microelectronics (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":"last","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"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5013452416"],"corresponding_institution_ids":["https://openalex.org/I4210148533"],"apc_list":null,"apc_paid":null,"fwci":0.5515,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.65241508,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"0222","last_page":"0227"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10932","display_name":"Microbial Metabolic Engineering and Bioproduction","score":0.9898999929428101,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9839000105857849,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.8833450078964233},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.8146072030067444},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8031363487243652},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6976767182350159},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6531203985214233},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.513542652130127},{"id":"https://openalex.org/keywords/computability","display_name":"Computability","score":0.5116129517555237},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.506220281124115},{"id":"https://openalex.org/keywords/maximum-satisfiability-problem","display_name":"Maximum satisfiability problem","score":0.4445023834705353},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.2953077256679535},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2204137146472931},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17446368932724}],"concepts":[{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.8833450078964233},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.8146072030067444},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8031363487243652},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6976767182350159},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6531203985214233},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.513542652130127},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.5116129517555237},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.506220281124115},{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.4445023834705353},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.2953077256679535},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2204137146472931},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17446368932724},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/mipro.2018.8400042","is_oa":false,"landing_page_url":"https://doi.org/10.23919/mipro.2018.8400042","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 41st International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.550000011920929,"id":"https://metadata.un.org/sdg/12","display_name":"Responsible consumption and production"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W866331153","https://openalex.org/W1981726327","https://openalex.org/W2010713322","https://openalex.org/W2011039300","https://openalex.org/W2069767473","https://openalex.org/W2174552337","https://openalex.org/W2298057154","https://openalex.org/W2336925918","https://openalex.org/W2546270252","https://openalex.org/W2607267983","https://openalex.org/W2623377418","https://openalex.org/W2735095204","https://openalex.org/W2740079782","https://openalex.org/W6623791119","https://openalex.org/W6703622479","https://openalex.org/W6728808945","https://openalex.org/W6736543523","https://openalex.org/W6741893541"],"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/W2115480761","https://openalex.org/W2102364390","https://openalex.org/W1913543287","https://openalex.org/W2336941104"],"abstract_inverted_index":{"One":[0],"of":[1,25,33,65,96,104,114,121,128],"the":[2,15,22,29,34,49,62,87,92,97,100,105,122,126,133],"current":[3],"trends":[4],"in":[5,47,51,56,130],"high-performance":[6],"computing":[7],"(HPC)":[8],"is":[9,21],"applying":[10],"its":[11],"possibilities":[12],"to":[13,61],"solve":[14],"Boolean":[16],"satisfiability":[17],"problem":[18,24,55],"(SAT).":[19],"SAT":[20,66,78],"fundamental":[23],"mathematical":[26],"logic":[27],"and":[28,38,53,70,94,99],"computational":[30,106,115],"theory.":[31],"Many":[32],"most":[35],"important":[36],"Data":[37],"Life":[39],"Sciences":[40],"problems":[41],"can":[42],"be":[43],"formulated":[44],"as":[45],"SAT,":[46],"particular,":[48],"Regulation":[50],"Animals":[52],"Plants":[54],"Bioinformatics.":[57],"Traditionally":[58],"two":[59],"approaches":[60],"parallel":[63,77,137],"solution":[64],"are":[67,117],"used,":[68],"competitive":[69],"cooperative.":[71],"We":[72,90],"propose":[73],"a":[74],"new":[75],"massive":[76,136],"solver":[79,98,124],"Hpcsat":[80,111,129],"implemented":[81],"using":[82],"MPI":[83],"technology":[84],"based":[85],"on":[86],"second":[88],"approach.":[89],"describe":[91],"architecture":[93],"functionality":[95],"toolkit":[101],"for":[102],"automation":[103],"experiments":[107,116],"process.":[108],"The":[109,119],"approving":[110],"scalability":[112],"results":[113,120],"represented.":[118],"offered":[123],"confirmed":[125],"advantage":[127],"comparing":[131],"with":[132],"existing":[134],"analogous":[135],"HordeSat":[138],"solver.":[139]},"counts_by_year":[{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}