{"id":"https://openalex.org/W2908846298","doi":"https://doi.org/10.1145/3287624.3287671","title":"Structural rewriting in XOR-majority graphs","display_name":"Structural rewriting in XOR-majority graphs","publication_year":2019,"publication_date":"2019-01-18","ids":{"openalex":"https://openalex.org/W2908846298","doi":"https://doi.org/10.1145/3287624.3287671","mag":"2908846298"},"language":"en","primary_location":{"id":"doi:10.1145/3287624.3287671","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3287624.3287671","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th Asia and South Pacific Design Automation Conference","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://infoscience.epfl.ch/record/274151","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022156184","display_name":"Zhufei Chu","orcid":"https://orcid.org/0000-0001-5718-4822"},"institutions":[{"id":"https://openalex.org/I109935558","display_name":"Ningbo University","ror":"https://ror.org/03et85d35","country_code":"CN","type":"education","lineage":["https://openalex.org/I109935558"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Zhufei Chu","raw_affiliation_strings":["Ningbo University, Ningbo, China"],"affiliations":[{"raw_affiliation_string":"Ningbo University, Ningbo, China","institution_ids":["https://openalex.org/I109935558"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084007478","display_name":"Mathias Soeken","orcid":"https://orcid.org/0000-0002-0229-8766"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Mathias Soeken","raw_affiliation_strings":["\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL), Lausanne, Switzerland"],"affiliations":[{"raw_affiliation_string":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL), Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070614875","display_name":"Yinshui Xia","orcid":"https://orcid.org/0000-0002-3831-3876"},"institutions":[{"id":"https://openalex.org/I109935558","display_name":"Ningbo University","ror":"https://ror.org/03et85d35","country_code":"CN","type":"education","lineage":["https://openalex.org/I109935558"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yinshui Xia","raw_affiliation_strings":["Ningbo University, Ningbo, China"],"affiliations":[{"raw_affiliation_string":"Ningbo University, Ningbo, China","institution_ids":["https://openalex.org/I109935558"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037201336","display_name":"Lunyao Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I109935558","display_name":"Ningbo University","ror":"https://ror.org/03et85d35","country_code":"CN","type":"education","lineage":["https://openalex.org/I109935558"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lunyao Wang","raw_affiliation_strings":["Ningbo University, Ningbo, China"],"affiliations":[{"raw_affiliation_string":"Ningbo University, Ningbo, China","institution_ids":["https://openalex.org/I109935558"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072927296","display_name":"Giovanni De Micheli","orcid":"https://orcid.org/0000-0002-7827-3215"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Giovanni De Micheli","raw_affiliation_strings":["\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL), Lausanne, Switzerland"],"affiliations":[{"raw_affiliation_string":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL), Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5022156184"],"corresponding_institution_ids":["https://openalex.org/I109935558"],"apc_list":null,"apc_paid":null,"fwci":1.6802,"has_fulltext":false,"cited_by_count":32,"citation_normalized_percentile":{"value":0.87929282,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"663","last_page":"668"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9994000196456909,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9994000196456909,"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9980000257492065,"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"}},{"id":"https://openalex.org/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.9973999857902527,"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/rewriting","display_name":"Rewriting","score":0.9105133414268494},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7123970985412598},{"id":"https://openalex.org/keywords/xor-gate","display_name":"XOR gate","score":0.6119591593742371},{"id":"https://openalex.org/keywords/graph-rewriting","display_name":"Graph rewriting","score":0.5151830911636353},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.4831694960594177},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4817242920398712},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.41929590702056885},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.38080573081970215},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36450517177581787},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.290891170501709},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.1868005394935608}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.9105133414268494},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7123970985412598},{"id":"https://openalex.org/C28495749","wikidata":"https://www.wikidata.org/wiki/Q155516","display_name":"XOR gate","level":3,"score":0.6119591593742371},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.5151830911636353},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.4831694960594177},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4817242920398712},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.41929590702056885},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.38080573081970215},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36450517177581787},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.290891170501709},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.1868005394935608},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3287624.3287671","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3287624.3287671","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th Asia and South Pacific Design Automation Conference","raw_type":"proceedings-article"},{"id":"pmh:oai:infoscience.epfl.ch:274151","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/274151","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"conference proceedings"}],"best_oa_location":{"id":"pmh:oai:infoscience.epfl.ch:274151","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/274151","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"conference proceedings"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320915","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1528837436","https://openalex.org/W1776822698","https://openalex.org/W2079294297","https://openalex.org/W2100465945","https://openalex.org/W2106950603","https://openalex.org/W2126693329","https://openalex.org/W2140975144","https://openalex.org/W2242458479","https://openalex.org/W2560531073","https://openalex.org/W2583971000","https://openalex.org/W2587513648","https://openalex.org/W2587804194","https://openalex.org/W2617185248","https://openalex.org/W2791509505","https://openalex.org/W3143290261","https://openalex.org/W4238447514"],"related_works":["https://openalex.org/W2009172267","https://openalex.org/W60870644","https://openalex.org/W2140997306","https://openalex.org/W2542922519","https://openalex.org/W4281720143","https://openalex.org/W2619273670","https://openalex.org/W1590684856","https://openalex.org/W3128019261","https://openalex.org/W1569585985","https://openalex.org/W3005022890"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3,86,99],"present":[4],"a":[5,10],"structural":[6,83,102],"rewriting":[7,67,89],"method":[8,119],"for":[9,46,95],"recently":[11],"proposed":[12,72,118],"XOR-Majority":[13],"graph":[14],"(XMG),":[15],"which":[16,133],"has":[17],"exclusive-OR":[18],"(XOR),":[19],"majority-of-three":[20],"(MAJ),":[21],"and":[22,41,76,127],"inverters":[23],"as":[24,144],"primitives.":[25],"XMGs":[26,126],"are":[27],"an":[28,37],"extension":[29],"of":[30,48,57,125],"Majority-Inverter":[31],"Graphs":[32],"(MIGs).":[33],"Previous":[34],"work":[35],"presented":[36],"axiomatic":[38],"system,":[39],"\u03a9,":[40],"its":[42,78,128],"derived":[43],"transformation":[44],"rules":[45,90],"manipulation":[47],"MIGs.":[49],"By":[50],"additionally":[51],"introducing":[52],"XOR":[53,103],"primitive,":[54],"the":[55,88,117,122,137,145],"identities":[56,75],"MAJ-XOR":[58,74],"operations":[59],"should":[60],"be":[61,93],"exploited":[62],"to":[63],"enable":[64],"powerful":[65],"logic":[66,147],"in":[68,106,134],"XMGs.":[69],"We":[70],"first":[71],"two":[73],"exploit":[77],"potential":[79],"optimization":[80],"opportunities":[81],"during":[82],"rewriting.":[84],"Then,":[85],"discuss":[87],"that":[91,116,141],"can":[92,120],"used":[94],"different":[96],"operations.":[97],"Finally,":[98],"also":[100],"address":[101],"detection":[104],"problem":[105],"MIG.":[107],"The":[108],"experimental":[109],"results":[110],"on":[111],"EPFL":[112],"benchmark":[113],"suites":[114],"show":[115],"optimize":[121],"size/depth":[123],"product":[124],"mapped":[129],"look-up":[130],"tables":[131],"(LUTs),":[132],"turn":[135],"benefits":[136],"quantum":[138],"circuit":[139],"synthesis":[140],"using":[142],"XMG":[143],"underlying":[146],"representations.":[148]},"counts_by_year":[{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":11},{"year":2022,"cited_by_count":8},{"year":2021,"cited_by_count":3},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}