{"id":"https://openalex.org/W2020322960","doi":"https://doi.org/10.1145/1835420.1835425","title":"On the completeness of the polymorphic gate set","display_name":"On the completeness of the polymorphic gate set","publication_year":2010,"publication_date":"2010-09-01","ids":{"openalex":"https://openalex.org/W2020322960","doi":"https://doi.org/10.1145/1835420.1835425","mag":"2020322960"},"language":"en","primary_location":{"id":"doi:10.1145/1835420.1835425","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1835420.1835425","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","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/A5100656426","display_name":"Zhifang Li","orcid":"https://orcid.org/0000-0003-1910-6369"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Zhifang Li","raw_affiliation_strings":["University of Science and Technology of China, Hefei, China",", University of Science and Technology of China, Hefei, China#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China, Hefei, China","institution_ids":["https://openalex.org/I126520041"]},{"raw_affiliation_string":", University of Science and Technology of China, Hefei, China#TAB#","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001184471","display_name":"Wenjian Luo","orcid":"https://orcid.org/0000-0002-8357-1655"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenjian Luo","raw_affiliation_strings":["University of Science and Technology of China, Hefei, China",", University of Science and Technology of China, Hefei, China#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China, Hefei, China","institution_ids":["https://openalex.org/I126520041"]},{"raw_affiliation_string":", University of Science and Technology of China, Hefei, China#TAB#","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020797370","display_name":"Lihua Yue","orcid":null},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lihua Yue","raw_affiliation_strings":["University of Science and Technology of China, Hefei, China",", University of Science and Technology of China, Hefei, China#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China, Hefei, China","institution_ids":["https://openalex.org/I126520041"]},{"raw_affiliation_string":", University of Science and Technology of China, Hefei, China#TAB#","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070073152","display_name":"Xufa Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xufa Wang","raw_affiliation_strings":["University of Science and Technology of China, Hefei, China",", University of Science and Technology of China, Hefei, China#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China, Hefei, China","institution_ids":["https://openalex.org/I126520041"]},{"raw_affiliation_string":", University of Science and Technology of China, Hefei, China#TAB#","institution_ids":["https://openalex.org/I126520041"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100656426"],"corresponding_institution_ids":["https://openalex.org/I126520041"],"apc_list":null,"apc_paid":null,"fwci":2.40491528,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.90371019,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"15","issue":"4","first_page":"1","last_page":"25"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.9994999766349792,"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/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.9994999766349792,"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/T10100","display_name":"Metaheuristic Optimization Algorithms Research","score":0.9843000173568726,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.746362566947937},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.6362038850784302},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5762113332748413},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5059213042259216},{"id":"https://openalex.org/keywords/and-gate","display_name":"AND gate","score":0.4697577953338623},{"id":"https://openalex.org/keywords/pass-transistor-logic","display_name":"Pass transistor logic","score":0.4196832776069641},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.40202295780181885},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.3545963168144226},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3492526710033417},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.27781403064727783},{"id":"https://openalex.org/keywords/digital-electronics","display_name":"Digital electronics","score":0.21972280740737915},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1413051187992096},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.10839134454727173},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.06960883736610413}],"concepts":[{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.746362566947937},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.6362038850784302},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5762113332748413},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5059213042259216},{"id":"https://openalex.org/C10418432","wikidata":"https://www.wikidata.org/wiki/Q560370","display_name":"AND gate","level":3,"score":0.4697577953338623},{"id":"https://openalex.org/C198521697","wikidata":"https://www.wikidata.org/wiki/Q7142438","display_name":"Pass transistor logic","level":4,"score":0.4196832776069641},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40202295780181885},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.3545963168144226},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3492526710033417},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.27781403064727783},{"id":"https://openalex.org/C81843906","wikidata":"https://www.wikidata.org/wiki/Q173156","display_name":"Digital electronics","level":3,"score":0.21972280740737915},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1413051187992096},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.10839134454727173},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.06960883736610413},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1835420.1835425","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1835420.1835425","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6299999952316284,"display_name":"Life in Land","id":"https://metadata.un.org/sdg/15"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1739746","https://openalex.org/W123008641","https://openalex.org/W1508414453","https://openalex.org/W1560573910","https://openalex.org/W1588467370","https://openalex.org/W1775913388","https://openalex.org/W2029321213","https://openalex.org/W2056313859","https://openalex.org/W2082428635","https://openalex.org/W2113301390","https://openalex.org/W2117340538","https://openalex.org/W2130330964","https://openalex.org/W2135120841","https://openalex.org/W2136827374","https://openalex.org/W2138686502","https://openalex.org/W2151036024","https://openalex.org/W2912122427","https://openalex.org/W2912515478"],"related_works":["https://openalex.org/W2997751809","https://openalex.org/W1972995722","https://openalex.org/W1968762246","https://openalex.org/W2169173801","https://openalex.org/W3121501158","https://openalex.org/W2020322960","https://openalex.org/W4200292742","https://openalex.org/W4213217306","https://openalex.org/W2333780620","https://openalex.org/W1977384866"],"abstract_inverted_index":{"Polymorphic":[0],"gates":[1,7,27,44],"are":[2,45,139,157],"special":[3],"kinds":[4],"of":[5,16,74,98,107,114,132],"logic":[6,49,58],"that":[8,35],"can":[9,28],"exhibit":[10],"different":[11,37,40,46],"functions":[12,38],"under":[13,39],"the":[14,51,56,65,72,75,105,112,115,122,130,142],"control":[15],"environmental":[17],"parameters,":[18],"such":[19],"as":[20],"light,":[21],"temperature,":[22],"and":[23,109,124,144],"VDD.":[24],"These":[25],"polymorphic":[26,33,43,66,77,91,116,133,149],"be":[29],"used":[30],"to":[31,86],"build":[32],"circuits":[34],"perform":[36],"environments.":[41],"Because":[42],"from":[47],"traditional":[48,57],"gates,":[50],"existent":[52],"completeness":[53,113,131],"theory":[54,123,143],"for":[55,64,128,147],"gate":[59,67,78,92,117,134,150],"set":[60,79,93,118],"is":[61,80,83,94,119],"not":[62],"suitable":[63],"set.":[68],"So":[69],"far,":[70],"only":[71],"definition":[73],"complete":[76,148],"given.":[81,140],"There":[82],"no":[84],"approach":[85],"judging":[87,129],"whether":[88],"a":[89],"given":[90],"complete.":[95],"The":[96],"contributions":[97],"this":[99],"article":[100],"include":[101],"three":[102],"aspects.":[103],"First,":[104],"impact":[106],"logic-1":[108],"logic-0":[110],"on":[111],"discussed.":[120],"Second,":[121],"two":[125,137,155],"related":[126,145],"algorithms":[127,146],"sets":[135,151],"with":[136,152],"modes":[138,156],"Finally,":[141],"more":[153],"than":[154],"proposed.":[158]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}