乐胖代购免代理版

{"id":"https://openalex.org/W2136185430","doi":"https://doi.org/10.1109/12.67320","title":"Absolute minimization of completely specified switching functions","display_name":"Absolute minimization of completely specified switching functions","publication_year":1991,"publication_date":"1991-01-01","ids":{"openalex":"https://openalex.org/W2136185430","doi":"https://doi.org/10.1109/12.67320","mag":"2136185430"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/12.67320","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://napier-repository.worktribe.com/preview/217140/SCS09-CE-241.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073697723","display_name":"S. J. Hong","orcid":"https://orcid.org/0009-0006-8638-5651"},"institutions":[{"id":"https://openalex.org/I123900574","display_name":"Pohang University of Science and Technology","ror":"https://ror.org/04xysgw12","country_code":"KR","type":"education","lineage":["https://openalex.org/I123900574"]},{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["KR","US"],"is_corresponding":false,"raw_author_name":"S.J. Hong","raw_affiliation_strings":["Department of Computer Science, Pohang Institute of Science and Technology, Pohang, South Korea","Department of Computer Science, University of Illinois, Urbana, IL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Pohang Institute of Science and Technology, Pohang, South Korea","institution_ids":["https://openalex.org/I123900574"]},{"raw_affiliation_string":"Department of Computer Science, University of Illinois, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036195592","display_name":"Saburo Muroga","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S. Muroga","raw_affiliation_strings":["Department of Computer Science, University of Illinois, Urbana, IL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.814,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":31,"citation_normalized_percentile":{"value":0.855549,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":90},"biblio":{"volume":"40","issue":"1","first_page":"53","last_page":"65"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9989,"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.9989,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.99,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.975,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/implicant","display_name":"Implicant","score":0.8536737},{"id":"https://openalex.org/keywords/minification","display_name":"Minification","score":0.7460625}],"concepts":[{"id":"https://openalex.org/C102487863","wikidata":"https://www.wikidata.org/wiki/Q1291626","display_name":"Implicant","level":4,"score":0.8536737},{"id":"https://openalex.org/C147764199","wikidata":"https://www.wikidata.org/wiki/Q6865248","display_name":"Minification","level":2,"score":0.7460625},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6267803},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.54079884},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.4884664},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.47614005},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.45682552},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.39368343},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35842192},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1293574},{"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/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/12.67320","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://napier-repository.worktribe.com/217058/1/SCS09-CE-24%5B1%5D.pdf","pdf_url":"https://napier-repository.worktribe.com/preview/217140/SCS09-CE-241.pdf","source":{"id":"https://openalex.org/S4306402591","display_name":"Edinburgh Napier Research Repository (Edinburgh Napier University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I251738","host_organization_name":"Edinburgh Napier University","host_organization_lineage":["https://openalex.org/I251738"],"host_organization_lineage_names":["Edinburgh Napier University"],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"acceptedVersion","is_accepted":true,"is_published":false},{"is_oa":true,"landing_page_url":"http://researchrepository.napier.ac.uk/id/eprint/3500","pdf_url":"https://www.napier.ac.uk/-/media/worktribe/output-217058/scs09ce241pdf.ashx","source":{"id":"https://openalex.org/S4306402591","display_name":"Edinburgh Napier Research Repository (Edinburgh Napier University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I251738","host_organization_name":"Edinburgh Napier University","host_organization_lineage":["https://openalex.org/I251738"],"host_organization_lineage_names":["Edinburgh Napier University"],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"acceptedVersion","is_accepted":true,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://napier-repository.worktribe.com/217058/1/SCS09-CE-24%5B1%5D.pdf","pdf_url":"https://napier-repository.worktribe.com/preview/217140/SCS09-CE-241.pdf","source":{"id":"https://openalex.org/S4306402591","display_name":"Edinburgh Napier Research Repository (Edinburgh Napier University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I251738","host_organization_name":"Edinburgh Napier University","host_organization_lineage":["https://openalex.org/I251738"],"host_organization_lineage_names":["Edinburgh Napier University"],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"acceptedVersion","is_accepted":true,"is_published":false},"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.72,"id":"https://metadata.un.org/sdg/10"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":34,"referenced_works":["https://openalex.org/W115147118","https://openalex.org/W1520422251","https://openalex.org/W1560624208","https://openalex.org/W1640192616","https://openalex.org/W1771140621","https://openalex.org/W1813681271","https://openalex.org/W1859472392","https://openalex.org/W1973555432","https://openalex.org/W1987293891","https://openalex.org/W1996241662","https://openalex.org/W2015600688","https://openalex.org/W2016492815","https://openalex.org/W2018094844","https://openalex.org/W2031784867","https://openalex.org/W2032524661","https://openalex.org/W2034570505","https://openalex.org/W2039140951","https://openalex.org/W2044155617","https://openalex.org/W2046603834","https://openalex.org/W2047315525","https://openalex.org/W2054382575","https://openalex.org/W2063353399","https://openalex.org/W2070314749","https://openalex.org/W2093198163","https://openalex.org/W2097292627","https://openalex.org/W2105761964","https://openalex.org/W2124078793","https://openalex.org/W2163476750","https://openalex.org/W2171490878","https://openalex.org/W2255140339","https://openalex.org/W2329329248","https://openalex.org/W4229859560","https://openalex.org/W4231510479","https://openalex.org/W4244630587"],"related_works":["https://openalex.org/W4235895663","https://openalex.org/W4210889883","https://openalex.org/W2098878557","https://openalex.org/W2046603834","https://openalex.org/W2045202376","https://openalex.org/W2007986011","https://openalex.org/W1999154139","https://openalex.org/W1979258071","https://openalex.org/W1972326543","https://openalex.org/W1557763969"],"abstract_inverted_index":{"For":[0,28],"the":[1,73,82,90,97],"automated":[2],"design":[3],"of":[4,22,26,75,84,92,99],"PLAs":[5,55],"(programmable":[6],"logic":[7],"arrays)":[8],"with":[9,56],"a":[10,23],"minimum":[11],"size,":[12],"computationally":[13],"efficient":[14,113],"procedures":[15,101],"are":[16,42],"needed":[17],"that":[18],"can":[19],"minimize":[20],"functions":[21,94],"large":[24,39],"number":[25],"variables.":[27],"such":[29],"minimization":[30,49],"procedures,":[31],"excessively":[32,38],"long":[33],"processing":[34],"time":[35,59],"and":[36,60,95,107],"an":[37],"memory":[40,61],"requirement":[41],"major":[43],"problems":[44],"to":[45,81,96],"overcome.":[46],"An":[47],"absolute":[48],"procedure":[50],"is":[51,70,78],"presented":[52],"for":[53],"standard":[54],"reduced":[57],"computation":[58],"space.":[62],"The":[63],"improvement":[64],"achieved":[65],"by":[66,104],"this":[67],"procedure,":[68],"which":[69],"based":[71],"on":[72],"decomposition":[74],"ratio":[76],"sets,":[77],"mainly":[79],"due":[80],"detection":[83],"all":[85],"essential":[86],"prime":[87],"implicants":[88],"during":[89],"derivation":[91],"inclusion":[93],"merger":[98],"two":[100],"previously":[102],"published":[103],"R.B.":[105],"Cutler":[106],"S.":[108],"Muroga":[109],"(1987)":[110],"into":[111],"one":[112],"procedure.<":[114],">":[117]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2136185430","counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2024-12-10T09:51:53.374043","created_date":"2016-06-24"}