{"id":"https://openalex.org/W3035393899","doi":"https://doi.org/10.1109/vlsisoc.2007.4402467","title":"Use of gray decoding for implementation of symmetric functions","display_name":"Use of gray decoding for implementation of symmetric functions","publication_year":2007,"publication_date":"2007-10-01","ids":{"openalex":"https://openalex.org/W3035393899","doi":"https://doi.org/10.1109/vlsisoc.2007.4402467","mag":"3035393899"},"language":"en","primary_location":{"id":"doi:10.1109/vlsisoc.2007.4402467","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vlsisoc.2007.4402467","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 IFIP International Conference on Very Large Scale Integration","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/A5071090334","display_name":"Osnat Keren","orcid":"https://orcid.org/0000-0002-3101-9551"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Osnat Keren","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018635318","display_name":"Ilya Levin","orcid":"https://orcid.org/0000-0002-0298-4547"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ilya Levin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5108138421","display_name":"Radomir S. Stankovi\u0107","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Radomir S. Stankovic","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.35458887,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"31","issue":null,"first_page":"25","last_page":"30"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9408000111579895,"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.9408000111579895,"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/decoding-methods","display_name":"Decoding methods","score":0.7517175674438477},{"id":"https://openalex.org/keywords/canonical-normal-form","display_name":"Canonical normal form","score":0.7167919874191284},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.7020823955535889},{"id":"https://openalex.org/keywords/product-term","display_name":"Product term","score":0.6539698839187622},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5498228669166565},{"id":"https://openalex.org/keywords/symmetric-function","display_name":"Symmetric function","score":0.4871180057525635},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.48711085319519043},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.48096099495887756},{"id":"https://openalex.org/keywords/gray-code","display_name":"Gray code","score":0.46097058057785034},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.44782108068466187},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.430792897939682},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.36398550868034363},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.33546459674835205},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.24360397458076477},{"id":"https://openalex.org/keywords/two-element-boolean-algebra","display_name":"Two-element Boolean algebra","score":0.21271666884422302},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.10207569599151611}],"concepts":[{"id":"https://openalex.org/C57273362","wikidata":"https://www.wikidata.org/wiki/Q576722","display_name":"Decoding methods","level":2,"score":0.7517175674438477},{"id":"https://openalex.org/C105285975","wikidata":"https://www.wikidata.org/wiki/Q2719417","display_name":"Canonical normal form","level":2,"score":0.7167919874191284},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.7020823955535889},{"id":"https://openalex.org/C9429942","wikidata":"https://www.wikidata.org/wiki/Q1781698","display_name":"Product term","level":5,"score":0.6539698839187622},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5498228669166565},{"id":"https://openalex.org/C3746008","wikidata":"https://www.wikidata.org/wiki/Q981351","display_name":"Symmetric function","level":2,"score":0.4871180057525635},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.48711085319519043},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.48096099495887756},{"id":"https://openalex.org/C129861397","wikidata":"https://www.wikidata.org/wiki/Q332772","display_name":"Gray code","level":2,"score":0.46097058057785034},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.44782108068466187},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.430792897939682},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.36398550868034363},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33546459674835205},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.24360397458076477},{"id":"https://openalex.org/C207764348","wikidata":"https://www.wikidata.org/wiki/Q7858706","display_name":"Two-element Boolean algebra","level":4,"score":0.21271666884422302},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.10207569599151611},{"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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"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/C169171071","wikidata":"https://www.wikidata.org/wiki/Q5449241","display_name":"Filtered algebra","level":3,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/vlsisoc.2007.4402467","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vlsisoc.2007.4402467","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 IFIP International Conference on Very Large Scale Integration","raw_type":"proceedings-article"},{"id":"mag:3035393899","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/vlsi/vlsisoc2007s.html#KerenLS07a","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1481714151","https://openalex.org/W1516526100","https://openalex.org/W1966053044","https://openalex.org/W1980957048","https://openalex.org/W1994934021","https://openalex.org/W2007809499","https://openalex.org/W2067079998","https://openalex.org/W2068422506","https://openalex.org/W2081742683","https://openalex.org/W2112189755","https://openalex.org/W2123860644","https://openalex.org/W2136488852","https://openalex.org/W2144867933","https://openalex.org/W2150612825","https://openalex.org/W2154682956","https://openalex.org/W2160481290","https://openalex.org/W2168502405","https://openalex.org/W2171274842","https://openalex.org/W4234532591","https://openalex.org/W4250518656","https://openalex.org/W6670457775","https://openalex.org/W6675213081"],"related_works":["https://openalex.org/W1996276855","https://openalex.org/W1587602953","https://openalex.org/W3194134751","https://openalex.org/W2771329168","https://openalex.org/W2283344760","https://openalex.org/W2140898227","https://openalex.org/W2047170029","https://openalex.org/W2778728514","https://openalex.org/W2063454654","https://openalex.org/W2140772796","https://openalex.org/W2965381946","https://openalex.org/W2545400013","https://openalex.org/W2087737084","https://openalex.org/W1539380537","https://openalex.org/W2066362579","https://openalex.org/W2168241470","https://openalex.org/W2070242292","https://openalex.org/W2945841959","https://openalex.org/W2943890952","https://openalex.org/W2896590268"],"abstract_inverted_index":{"This":[0],"paper":[1],"discusses":[2],"reduction":[3],"of":[4,7,12,19,35,42,53,63,68,77,86,100],"the":[5,33,39,75,98,101],"number":[6,34],"product":[8,36],"terms":[9],"in":[10,74],"representation":[11],"totally":[13],"symmetric":[14,43,78],"Boolean":[15,69],"functions":[16,44,79],"by":[17,49],"Sum":[18],"Products":[20],"(SOP)":[21],"and":[22,88],"Fixed":[23],"Polarity":[24],"Reed-":[25],"Muller":[26],"(FPRM)":[27],"expansions.":[28],"The":[29],"suggested":[30],"method":[31],"reduces":[32],"terms,":[37],"correspondingly,":[38],"implementation":[40],"cost":[41],"based":[45],"on":[46],"these":[47],"expressions":[48],"exploiting":[50],"Gray":[51],"decoding":[52,58],"input":[54],"variables.":[55],"Although":[56],"this":[57],"is":[59,72],"a":[60,83],"particular":[61],"example":[62],"all":[64],"possible":[65],"linear":[66],"transformation":[67],"variables,":[70],"it":[71,81],"efficient":[73],"case":[76],"since":[80],"provides":[82],"significant":[84],"simplification":[85],"SOPs":[87],"FPRMs.":[89],"Mathematical":[90],"analysis":[91],"as":[92,94],"well":[93],"experimental":[95],"results":[96],"demonstrate":[97],"efficiency":[99],"proposed":[102],"method.":[103]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}