{"id":"https://openalex.org/W2478073564","doi":"https://doi.org/10.1109/i2mtc.2016.7520355","title":"An algorithm for generating prime implicants","display_name":"An algorithm for generating prime implicants","publication_year":2016,"publication_date":"2016-05-01","ids":{"openalex":"https://openalex.org/W2478073564","doi":"https://doi.org/10.1109/i2mtc.2016.7520355","mag":"2478073564"},"language":"en","primary_location":{"id":"doi:10.1109/i2mtc.2016.7520355","is_oa":false,"landing_page_url":"https://doi.org/10.1109/i2mtc.2016.7520355","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Instrumentation and Measurement Technology Conference Proceedings","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/A5103350095","display_name":"Sunil R. Das","orcid":null},"institutions":[{"id":"https://openalex.org/I153718931","display_name":"University of Ottawa","ror":"https://ror.org/03c4mmv16","country_code":"CA","type":"education","lineage":["https://openalex.org/I153718931"]},{"id":"https://openalex.org/I149292303","display_name":"Troy University","ror":"https://ror.org/029jj9438","country_code":"US","type":"education","lineage":["https://openalex.org/I149292303"]}],"countries":["CA","US"],"is_corresponding":true,"raw_author_name":"Sunil R. Das","raw_affiliation_strings":["Department of Computer Science, Troy University, Montgomery, AL, USA","Faculty of Engineering, University of Ottawa, Ottawa, ON, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Troy University, Montgomery, AL, USA","institution_ids":["https://openalex.org/I149292303"]},{"raw_affiliation_string":"Faculty of Engineering, University of Ottawa, Ottawa, ON, Canada","institution_ids":["https://openalex.org/I153718931"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036989199","display_name":"Abdullah-Al Amin","orcid":null},"institutions":[{"id":"https://openalex.org/I149292303","display_name":"Troy University","ror":"https://ror.org/029jj9438","country_code":"US","type":"education","lineage":["https://openalex.org/I149292303"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Abdullah-Al Amin","raw_affiliation_strings":["Department of Computer Science, Troy University, Montgomery, AL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Troy University, Montgomery, AL, USA","institution_ids":["https://openalex.org/I149292303"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109483458","display_name":"Satyendra N. Biswas","orcid":null},"institutions":[{"id":"https://openalex.org/I135564639","display_name":"Ahsanullah University of Science and Technology","ror":"https://ror.org/04wfbp123","country_code":"BD","type":"education","lineage":["https://openalex.org/I135564639"]}],"countries":["BD"],"is_corresponding":false,"raw_author_name":"Satyendra N. Biswas","raw_affiliation_strings":["Department of Electrical and Electronic Engineering, Ahsanullah University of Science and Technology, Dhaka, Bangladesh"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, Ahsanullah University of Science and Technology, Dhaka, Bangladesh","institution_ids":["https://openalex.org/I135564639"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008303398","display_name":"Mansour H. Assaf","orcid":"https://orcid.org/0000-0003-3052-9469"},"institutions":[{"id":"https://openalex.org/I44666525","display_name":"University of the South Pacific","ror":"https://ror.org/008stv805","country_code":"FJ","type":"education","lineage":["https://openalex.org/I44666525"]}],"countries":["FJ"],"is_corresponding":false,"raw_author_name":"Mansour H. Assaf","raw_affiliation_strings":["Department of Electrical and Electronic Engineering, University of the South Pacific (USP), Suva, Fiji"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, University of the South Pacific (USP), Suva, Fiji","institution_ids":["https://openalex.org/I44666525"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023904661","display_name":"Emil M. Petriu","orcid":"https://orcid.org/0000-0002-0274-1035"},"institutions":[{"id":"https://openalex.org/I153718931","display_name":"University of Ottawa","ror":"https://ror.org/03c4mmv16","country_code":"CA","type":"education","lineage":["https://openalex.org/I153718931"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Emil M. Petriu","raw_affiliation_strings":["Faculty of Engineering, University of Ottawa, Ottawa, ON, Canada"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, University of Ottawa, Ottawa, ON, Canada","institution_ids":["https://openalex.org/I153718931"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109331727","display_name":"Voicu Groza","orcid":null},"institutions":[{"id":"https://openalex.org/I153718931","display_name":"University of Ottawa","ror":"https://ror.org/03c4mmv16","country_code":"CA","type":"education","lineage":["https://openalex.org/I153718931"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Voicu Groza","raw_affiliation_strings":["Faculty of Engineering, University of Ottawa, Ottawa, ON, Canada"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, University of Ottawa, Ottawa, ON, Canada","institution_ids":["https://openalex.org/I153718931"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5103350095"],"corresponding_institution_ids":["https://openalex.org/I149292303","https://openalex.org/I153718931"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.04005584,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"c 21","issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9876999855041504,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9876999855041504,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11567","display_name":"semigroups and automata theory","score":0.9775000214576721,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9760000109672546,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/implicant","display_name":"Implicant","score":0.9600791931152344},{"id":"https://openalex.org/keywords/canonical-normal-form","display_name":"Canonical normal form","score":0.738313615322113},{"id":"https://openalex.org/keywords/prime","display_name":"Prime (order theory)","score":0.6130800247192383},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5610619187355042},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5556257367134094},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.5445438027381897},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5420286655426025},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4956868886947632},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.47327446937561035},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.45850521326065063},{"id":"https://openalex.org/keywords/disjunctive-normal-form","display_name":"Disjunctive normal form","score":0.44967323541641235},{"id":"https://openalex.org/keywords/table","display_name":"Table (database)","score":0.42784908413887024},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4193365275859833},{"id":"https://openalex.org/keywords/conjunctive-normal-form","display_name":"Conjunctive normal form","score":0.4110231399536133},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.4096428155899048},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.36409083008766174},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.30815017223358154},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.1042136549949646}],"concepts":[{"id":"https://openalex.org/C102487863","wikidata":"https://www.wikidata.org/wiki/Q1291626","display_name":"Implicant","level":4,"score":0.9600791931152344},{"id":"https://openalex.org/C105285975","wikidata":"https://www.wikidata.org/wiki/Q2719417","display_name":"Canonical normal form","level":2,"score":0.738313615322113},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.6130800247192383},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5610619187355042},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5556257367134094},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.5445438027381897},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5420286655426025},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4956868886947632},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.47327446937561035},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.45850521326065063},{"id":"https://openalex.org/C136726353","wikidata":"https://www.wikidata.org/wiki/Q903789","display_name":"Disjunctive normal form","level":2,"score":0.44967323541641235},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.42784908413887024},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4193365275859833},{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.4110231399536133},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.4096428155899048},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.36409083008766174},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.30815017223358154},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.1042136549949646},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/i2mtc.2016.7520355","is_oa":false,"landing_page_url":"https://doi.org/10.1109/i2mtc.2016.7520355","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Instrumentation and Measurement Technology Conference Proceedings","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5699999928474426}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1985009020","https://openalex.org/W1994900716","https://openalex.org/W2001487611","https://openalex.org/W2016492815","https://openalex.org/W2018094844","https://openalex.org/W2026265907","https://openalex.org/W2031784867","https://openalex.org/W2032524661","https://openalex.org/W2039140951","https://openalex.org/W2069067423","https://openalex.org/W2105761964","https://openalex.org/W2120645153","https://openalex.org/W2146813478","https://openalex.org/W2149820435","https://openalex.org/W2154847728"],"related_works":["https://openalex.org/W2383447474","https://openalex.org/W2296202685","https://openalex.org/W149544036","https://openalex.org/W1526521033","https://openalex.org/W2368813805","https://openalex.org/W1567241716","https://openalex.org/W2053394780","https://openalex.org/W1877903854","https://openalex.org/W2093198163","https://openalex.org/W2345332015"],"abstract_inverted_index":{"Of":[0],"late,":[1],"an":[2,239],"iterative":[3],"procedure":[4,147,211],"for":[5,71,201],"the":[6,9,41,45,50,54,73,98,111,121,127,132,141,146,154,161,165,167,178,181,190,193,197,207,210,214,230,234,237,242,272,277,284,292],"generation":[7,179,248],"of":[8,12,21,35,44,76,82,95,100,124,134,150,160,180,225,233,241,244,261,264,269,276],"prime":[10,42,74,198,215,226,231,246],"implicants":[11,43,75,232],"switching":[13,186,203],"functions":[14,46,77],"by":[15,29,253],"utilizing":[16],"a":[17,79,91,96,105,119,185,202,257],"new":[18],"tabular":[19],"mode":[20],"functional":[22],"representation":[23,94],"called":[24],"clause-column":[25,92],"table":[26,93,128],"was":[27],"developed":[28],"Das":[30,36],"and":[31,37,59,61,175,218,266,295],"Khabra.":[32],"This":[33],"approach":[34],"Khabra":[38],"generates":[39],"all":[40,196,213],"given":[47,205],"either":[48],"in":[49,53,110,118,126,145,158,189,206,271],"sum-of-products":[51,112,208],"or":[52,84,102,107,113,137],"product-of-sums":[55,114,191,273],"forms,":[56],"both":[57],"canonical":[58],"noncanonical,":[60],"is":[62,148,169,172,219],"computationally":[63],"very":[64],"efficient.":[65],"The":[66,279],"method":[67,194],"can":[68],"be":[69],"applied":[70,221],"finding":[72],"having":[78],"large":[80],"number":[81,123,133],"unspecified":[83],"don't":[85],"care":[86],"terms":[87,270],"as":[88,156],"well.":[89],"In":[90,236],"function,":[97],"set":[99,224],"literals":[101,155],"clauses":[103],"defining":[104],"product":[106,136],"sum":[108,138],"term":[109],"form,":[115,192,209],"respectively,":[116],"appears":[117],"column,":[120],"total":[122],"columns":[125],"being":[129],"equal":[130],"to":[131,222,228,291],"such":[135],"terms.":[139,183],"Although":[140],"basic":[142],"principle":[143],"utilized":[144],"that":[149,283],"successive":[151],"expansion":[152,168],"around":[153],"employed":[157],"some":[159],"other":[162],"existing":[163],"methods,":[164],"manner":[166],"carried":[170],"through":[171],"entirely":[173],"different":[174,262,267],"greatly":[176],"reduces":[177],"redundant":[182],"For":[184],"function":[187,204],"specified":[188],"produces":[195],"implicants,":[199],"while":[200],"yields":[212],"implicates":[216,227],"first":[217],"next":[220],"this":[223,245],"obtain":[229],"function.":[235],"paper,":[238],"assessment":[240],"performance":[243],"implicant":[247],"algorithm":[249,285],"has":[250],"been":[251],"made":[252],"simulating":[254],"it":[255],"on":[256],"computer":[258],"under":[259],"conditions":[260],"numbers":[263,268],"variables":[265],"(sum-of-products)":[274],"representations":[275],"functions.":[278],"experimental":[280],"outcome":[281],"indicates":[282],"performs":[286],"quite":[287],"elegantly":[288],"with":[289],"respect":[290],"CPU":[293],"time":[294],"memory":[296],"usage.":[297]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}