{"id":"https://openalex.org/W3155680069","doi":"https://doi.org/10.1134/s0361768821020043","title":"Factorization of Boolean Polynomials: Parallel Algorithms and Experimental Evaluation","display_name":"Factorization of Boolean Polynomials: Parallel Algorithms and Experimental Evaluation","publication_year":2021,"publication_date":"2021-03-01","ids":{"openalex":"https://openalex.org/W3155680069","doi":"https://doi.org/10.1134/s0361768821020043","mag":"3155680069"},"language":"en","primary_location":{"id":"doi:10.1134/s0361768821020043","is_oa":false,"landing_page_url":"https://doi.org/10.1134/s0361768821020043","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","raw_type":"journal-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/A5049853182","display_name":"Pavel Emelyanov","orcid":"https://orcid.org/0000-0001-8747-0600"},"institutions":[{"id":"https://openalex.org/I188973947","display_name":"Novosibirsk State University","ror":"https://ror.org/04t2ss102","country_code":"RU","type":"education","lineage":["https://openalex.org/I188973947"]},{"id":"https://openalex.org/I4210152232","display_name":"Institute of Informatics of the Slovak Academy of Sciences","ror":"https://ror.org/04jgqpc26","country_code":"SK","type":"facility","lineage":["https://openalex.org/I207624831","https://openalex.org/I4210152232"]},{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210127387","display_name":"Siberian Branch of the Russian Academy of Sciences","ror":"https://ror.org/02frkq021","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210127387"]}],"countries":["RU","SK"],"is_corresponding":false,"raw_author_name":"P. G. Emelyanov","raw_affiliation_strings":["Ershov Institute of Informatics Systems (IIS), Siberian Branch, Russian Academy of Sciences; Novosibirsk State University, Novosibirsk, Russia","Ershov Institute of Informatics Systems (IIS), Siberian Branch, Russian Academy of Sciences","Novosibirsk State University, Novosibirsk, Russia"],"affiliations":[{"raw_affiliation_string":"Ershov Institute of Informatics Systems (IIS), Siberian Branch, Russian Academy of Sciences; Novosibirsk State University, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210127387"]},{"raw_affiliation_string":"Ershov Institute of Informatics Systems (IIS), Siberian Branch, Russian Academy of Sciences","institution_ids":["https://openalex.org/I4210152232","https://openalex.org/I1313323035"]},{"raw_affiliation_string":"Novosibirsk State University, Novosibirsk, Russia","institution_ids":["https://openalex.org/I188973947"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110761690","display_name":"M. Krishna","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"M. Krishna","raw_affiliation_strings":["Morphing Machines Pvt Ltd, Bangalore, India"],"affiliations":[{"raw_affiliation_string":"Morphing Machines Pvt Ltd, Bangalore, India","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066885967","display_name":"Vadiraj Kulkarni","orcid":null},"institutions":[{"id":"https://openalex.org/I59270414","display_name":"Indian Institute of Science Bangalore","ror":"https://ror.org/04dese585","country_code":"IN","type":"education","lineage":["https://openalex.org/I59270414"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"V. Kulkarni","raw_affiliation_strings":["Department of Computational and Data Sciences, Indian Institute of Science, Bangalore, India"],"affiliations":[{"raw_affiliation_string":"Department of Computational and Data Sciences, Indian Institute of Science, Bangalore, India","institution_ids":["https://openalex.org/I59270414"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112000841","display_name":"S. K. Nandy","orcid":null},"institutions":[{"id":"https://openalex.org/I59270414","display_name":"Indian Institute of Science Bangalore","ror":"https://ror.org/04dese585","country_code":"IN","type":"education","lineage":["https://openalex.org/I59270414"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"S. K. Nandy","raw_affiliation_strings":["Department of Computational and Data Sciences, Indian Institute of Science, Bangalore, India"],"affiliations":[{"raw_affiliation_string":"Department of Computational and Data Sciences, Indian Institute of Science, Bangalore, India","institution_ids":["https://openalex.org/I59270414"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034928626","display_name":"Denis Ponomaryov","orcid":null},"institutions":[{"id":"https://openalex.org/I4210152232","display_name":"Institute of Informatics of the Slovak Academy of Sciences","ror":"https://ror.org/04jgqpc26","country_code":"SK","type":"facility","lineage":["https://openalex.org/I207624831","https://openalex.org/I4210152232"]},{"id":"https://openalex.org/I4210127387","display_name":"Siberian Branch of the Russian Academy of Sciences","ror":"https://ror.org/02frkq021","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210127387"]},{"id":"https://openalex.org/I188973947","display_name":"Novosibirsk State University","ror":"https://ror.org/04t2ss102","country_code":"RU","type":"education","lineage":["https://openalex.org/I188973947"]},{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035"]}],"countries":["RU","SK"],"is_corresponding":false,"raw_author_name":"D. K. Ponomaryov","raw_affiliation_strings":["Ershov Institute of Informatics Systems (IIS), Siberian Branch, Russian Academy of Sciences; Novosibirsk State University, Novosibirsk, Russia","Novosibirsk State University, Novosibirsk, Russia","Ershov Institute of Informatics Systems (IIS), Siberian Branch, Russian Academy of Sciences"],"affiliations":[{"raw_affiliation_string":"Ershov Institute of Informatics Systems (IIS), Siberian Branch, Russian Academy of Sciences; Novosibirsk State University, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210127387"]},{"raw_affiliation_string":"Novosibirsk State University, Novosibirsk, Russia","institution_ids":["https://openalex.org/I188973947"]},{"raw_affiliation_string":"Ershov Institute of Informatics Systems (IIS), Siberian Branch, Russian Academy of Sciences","institution_ids":["https://openalex.org/I4210152232","https://openalex.org/I1313323035"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016258315","display_name":"Soumyendu Raha","orcid":"https://orcid.org/0000-0003-3530-7507"},"institutions":[{"id":"https://openalex.org/I59270414","display_name":"Indian Institute of Science Bangalore","ror":"https://ror.org/04dese585","country_code":"IN","type":"education","lineage":["https://openalex.org/I59270414"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"S. Raha","raw_affiliation_strings":["Department of Computational and Data Sciences, Indian Institute of Science, Bangalore, India"],"affiliations":[{"raw_affiliation_string":"Department of Computational and Data Sciences, Indian Institute of Science, Bangalore, India","institution_ids":["https://openalex.org/I59270414"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5066885967","https://openalex.org/A5110761690"],"corresponding_institution_ids":["https://openalex.org/I59270414"],"apc_list":null,"apc_paid":null,"fwci":0.148,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.48301604,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":"47","issue":"2","first_page":"108","last_page":"118"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/T10829","display_name":"Interconnection Networks and Systems","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/factorization","display_name":"Factorization","score":0.7305963039398193},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5553010106086731},{"id":"https://openalex.org/keywords/factorization-of-polynomials","display_name":"Factorization of polynomials","score":0.49359118938446045},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4603431522846222},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.43313974142074585},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.390245258808136},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.31515976786613464}],"concepts":[{"id":"https://openalex.org/C187834632","wikidata":"https://www.wikidata.org/wiki/Q188804","display_name":"Factorization","level":2,"score":0.7305963039398193},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5553010106086731},{"id":"https://openalex.org/C108741685","wikidata":"https://www.wikidata.org/wiki/Q392477","display_name":"Factorization of polynomials","level":4,"score":0.49359118938446045},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4603431522846222},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.43313974142074585},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.390245258808136},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.31515976786613464},{"id":"https://openalex.org/C101044782","wikidata":"https://www.wikidata.org/wiki/Q6787887","display_name":"Matrix polynomial","level":3,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1134/s0361768821020043","is_oa":false,"landing_page_url":"https://doi.org/10.1134/s0361768821020043","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","raw_type":"journal-article"},{"id":"pmh:oai:eprints.iisc.ac.in:69115","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401429","display_name":"ePrints@IISc (Indian Institute of Science)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I59270414","host_organization_name":"Indian Institute of Science Bangalore","host_organization_lineage":["https://openalex.org/I59270414"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W804677561","https://openalex.org/W835412343","https://openalex.org/W2004229705","https://openalex.org/W2112173236","https://openalex.org/W2124618076","https://openalex.org/W2153445467","https://openalex.org/W2766898852","https://openalex.org/W2804530869","https://openalex.org/W2808614418","https://openalex.org/W2949163092","https://openalex.org/W2963361344","https://openalex.org/W4205630623"],"related_works":["https://openalex.org/W2288130547","https://openalex.org/W4247961104","https://openalex.org/W4247820533","https://openalex.org/W4232063670","https://openalex.org/W1970287218","https://openalex.org/W2060844765","https://openalex.org/W3089890443","https://openalex.org/W2062098554","https://openalex.org/W3189262166","https://openalex.org/W2390891515"],"abstract_inverted_index":{"Polynomial":[0],"factorization":[1,18,43,61,92,102,137],"is":[2,17],"a":[3,9,109,146,153],"classical":[4],"algorithmic":[5],"algebra":[6],"problem":[7],"with":[8],"wide":[10],"range":[11],"of":[12,25,44,51,64,81,89,104,116,144,149],"applications.":[13],"Of":[14],"particular":[15],"interest":[16],"over":[19],"finite":[20],"fields,":[21],"among":[22],"which":[23],"fields":[24],"order":[26],"two":[27],"are":[28],"probably":[29],"the":[30,87,150],"most":[31],"important":[32],"ones":[33],"when":[34],"representing":[35],"Boolean":[36,45,52],"functions":[37,53,65],"by":[38],"Zhegalkin":[39],"polynomials.":[40],"In":[41,59,94,139],"particular,":[42],"polynomials":[46,133],"corresponds":[47],"to":[48,134],"conjunctive":[49],"decomposition":[50,63,80],"given":[54,66],"in":[55,67],"algebraic":[56],"normal":[57,70],"form.":[58],"addition,":[60],"enables":[62],"full":[68],"disjunctive":[69],"form":[71],"(DNF)":[72],"and":[73,107,119,130],"positive":[74],"DNF,":[75],"as":[76,78],"well":[77],"Cartesian":[79],"relational":[82],"data.":[83],"These":[84],"applications":[85],"demonstrate":[86,135],"importance":[88],"developing":[90],"fast":[91],"algorithms.":[93],"this":[95],"paper,":[96],"we":[97,141],"consider":[98],"some":[99,124],"recently":[100],"proposed":[101],"algorithms":[103],"polynomial":[105],"complexity":[106],"describe":[108],"parallel":[110,147,155],"MIMD":[111],"implementation":[112,148],"that":[113],"takes":[114],"advantage":[115],"both":[117],"task-level":[118],"data-level":[120],"parallelism.":[121],"We":[122],"conduct":[123],"experiments":[125],"on":[126,152],"logic":[127],"synthesis":[128],"benchmarks":[129],"synthetic":[131],"(random)":[132],"significant":[136],"speedup.":[138],"conclusion,":[140],"discuss":[142],"results":[143],"testing":[145],"algorithm":[151],"massively":[154],"multicore":[156],"architecture":[157],"(REDEFINE).":[158]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}