{"id":"https://openalex.org/W2063088119","doi":"https://doi.org/10.1080/00207160601140737","title":"A purely map procedure for two-level multiple-output logic minimization","display_name":"A purely map procedure for two-level multiple-output logic minimization","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W2063088119","doi":"https://doi.org/10.1080/00207160601140737","mag":"2063088119"},"language":"en","primary_location":{"id":"doi:10.1080/00207160601140737","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207160601140737","pdf_url":null,"source":{"id":"https://openalex.org/S124867444","display_name":"International Journal of Computer Mathematics","issn_l":"0020-7160","issn":["0020-7160","1026-7425","1029-0265"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Computer Mathematics","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/A5042079566","display_name":"Ali Muhammad Ali Rushdi","orcid":"https://orcid.org/0000-0001-5021-2368"},"institutions":[{"id":"https://openalex.org/I185163786","display_name":"King Abdulaziz University","ror":"https://ror.org/02ma4wv74","country_code":"SA","type":"education","lineage":["https://openalex.org/I185163786"]}],"countries":["SA"],"is_corresponding":true,"raw_author_name":"Ali M. Rushdi","raw_affiliation_strings":["Department of Electrical and Computer Engineering , King Abdulaziz University , PO Box 80204, Jeddah, 21589, Saudi Arabia","Department of Electrical and Computer Engineering, King Abdulaziz University, Jeddah, Saudi Arabia"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering , King Abdulaziz University , PO Box 80204, Jeddah, 21589, Saudi Arabia","institution_ids":["https://openalex.org/I185163786"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, King Abdulaziz University, Jeddah, Saudi Arabia","institution_ids":["https://openalex.org/I185163786"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049976896","display_name":"Omar Barukab","orcid":"https://orcid.org/0000-0002-5725-9430"},"institutions":[{"id":"https://openalex.org/I4210165529","display_name":"University of Business and Technology","ror":"https://ror.org/05tcr1n44","country_code":"SA","type":"education","lineage":["https://openalex.org/I4210165529"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Omar M. Ba-Rukab","raw_affiliation_strings":["College of Telecommunications and Electronics , PO Box 2816, Jeddah, 21461, Saudi Arabia","College of Telecommunications and Electronics, Jeddah, Saudi Arabia#TAB#"],"affiliations":[{"raw_affiliation_string":"College of Telecommunications and Electronics , PO Box 2816, Jeddah, 21461, Saudi Arabia","institution_ids":["https://openalex.org/I4210165529"]},{"raw_affiliation_string":"College of Telecommunications and Electronics, Jeddah, Saudi Arabia#TAB#","institution_ids":["https://openalex.org/I4210165529"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5042079566"],"corresponding_institution_ids":["https://openalex.org/I185163786"],"apc_list":null,"apc_paid":null,"fwci":0.3643,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.63346898,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"84","issue":"1","first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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.9991999864578247,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9965000152587891,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9839000105857849,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/exposition","display_name":"Exposition (narrative)","score":0.775588870048523},{"id":"https://openalex.org/keywords/minification","display_name":"Minification","score":0.7078285217285156},{"id":"https://openalex.org/keywords/implicant","display_name":"Implicant","score":0.5955977439880371},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5640984773635864},{"id":"https://openalex.org/keywords/cover","display_name":"Cover (algebra)","score":0.5326907634735107},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5272756218910217},{"id":"https://openalex.org/keywords/dual","display_name":"Dual (grammatical number)","score":0.4843367338180542},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4841483235359192},{"id":"https://openalex.org/keywords/matrix","display_name":"Matrix (chemical analysis)","score":0.47437745332717896},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.46036991477012634},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.4333752989768982},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.2599624991416931},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.18741676211357117},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10240301489830017}],"concepts":[{"id":"https://openalex.org/C2776285698","wikidata":"https://www.wikidata.org/wiki/Q2642214","display_name":"Exposition (narrative)","level":2,"score":0.775588870048523},{"id":"https://openalex.org/C147764199","wikidata":"https://www.wikidata.org/wiki/Q6865248","display_name":"Minification","level":2,"score":0.7078285217285156},{"id":"https://openalex.org/C102487863","wikidata":"https://www.wikidata.org/wiki/Q1291626","display_name":"Implicant","level":4,"score":0.5955977439880371},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5640984773635864},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.5326907634735107},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5272756218910217},{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.4843367338180542},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4841483235359192},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.47437745332717896},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.46036991477012634},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.4333752989768982},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2599624991416931},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.18741676211357117},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10240301489830017},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/00207160601140737","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207160601140737","pdf_url":null,"source":{"id":"https://openalex.org/S124867444","display_name":"International Journal of Computer Mathematics","issn_l":"0020-7160","issn":["0020-7160","1026-7425","1029-0265"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Computer Mathematics","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.7799999713897705}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1491361087","https://openalex.org/W1499231756","https://openalex.org/W1510460008","https://openalex.org/W1532830193","https://openalex.org/W1572177545","https://openalex.org/W1592424226","https://openalex.org/W1651057721","https://openalex.org/W1813681271","https://openalex.org/W1973555432","https://openalex.org/W1987293891","https://openalex.org/W2004229705","https://openalex.org/W2020275502","https://openalex.org/W2026317494","https://openalex.org/W2057136659","https://openalex.org/W2105761964","https://openalex.org/W2124078793","https://openalex.org/W2130112324","https://openalex.org/W2141498370","https://openalex.org/W2160776998","https://openalex.org/W2988128463","https://openalex.org/W3157791269","https://openalex.org/W3198030640","https://openalex.org/W4212955077","https://openalex.org/W4238297450","https://openalex.org/W4245517299"],"related_works":["https://openalex.org/W2356114564","https://openalex.org/W2042113034","https://openalex.org/W2018344087","https://openalex.org/W2350151408","https://openalex.org/W4210889883","https://openalex.org/W2098878557","https://openalex.org/W4235895663","https://openalex.org/W2000383684","https://openalex.org/W3036067388","https://openalex.org/W2145546838"],"abstract_inverted_index":{"A":[0],"pedagogical":[1],"treatment":[2],"of":[3,14,40,43,51,64,70,138],"two-level":[4],"multiple-output":[5],"logic":[6],"minimization":[7],"is":[8,22,75,88,101,106,113],"presented":[9],"through":[10],"a":[11,15,23,52,71,79,116,121],"compact":[12],"exposition":[13,100],"novel":[16],"manual":[17],"fast":[18],"procedure.":[19],"This":[20],"procedure":[21,31,133],"purely":[24],"map":[25,30,81,87],"technique":[26],"which":[27,74],"generalizes":[28],"the":[29,38,41,49,131,135],"for":[32,134],"single-output":[33],"minimization.":[34],"It":[35],"requires":[36],"neither":[37],"generation":[39],"set":[42],"all":[44,94],"paramount":[45],"prime":[46],"implicants,":[47],"nor":[48],"construction":[50],"cover":[53],"matrix.":[54],"Instead,":[55],"it":[56],"utilizes":[57],"certain":[58],"visual":[59],"interactions":[60],"between":[61],"various":[62],"groups":[63],"maps":[65],"placed":[66],"at":[67],"distinct":[68],"levels":[69],"Hasse":[72],"diagram,":[73],"conveniently":[76],"drawn":[77],"in":[78,109],"Karnaugh":[80],"layout":[82],"so":[83],"that":[84],"any":[85],"parent":[86],"easily":[89],"visualized":[90],"as":[91,115],"adjacent":[92],"to":[93,103],"its":[95],"children":[96],"maps.":[97],"The":[98],"present":[99],"believed":[102],"enhance":[104],"what":[105],"currently":[107],"available":[108],"undergraduate":[110],"texts,":[111],"and":[112,140],"intended":[114],"supplement":[117],"to,":[118],"rather":[119],"than":[120],"replacement":[122],"of,":[123],"automated":[124],"computational":[125],"experience.":[126],"An":[127],"illustrative":[128],"example":[129],"demonstrates":[130],"proposed":[132],"dual":[136],"cases":[137],"AND\u2013OR":[139],"OR\u2013AND":[141],"minimizations.":[142]},"counts_by_year":[{"year":2021,"cited_by_count":4},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}