{"id":"https://openalex.org/W4386764162","doi":"https://doi.org/10.1109/dac56929.2023.10247828","title":"Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks","display_name":"Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks","publication_year":2023,"publication_date":"2023-07-09","ids":{"openalex":"https://openalex.org/W4386764162","doi":"https://doi.org/10.1109/dac56929.2023.10247828"},"language":"en","primary_location":{"id":"doi:10.1109/dac56929.2023.10247828","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac56929.2023.10247828","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 60th ACM/IEEE Design Automation Conference (DAC)","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/A5065262986","display_name":"Nan Wu","orcid":"https://orcid.org/0000-0001-8291-4292"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Nan Wu","raw_affiliation_strings":["University of California,Santa Barbara","University of California, Santa Barbara"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California,Santa Barbara","institution_ids":["https://openalex.org/I154570441"]},{"raw_affiliation_string":"University of California, Santa Barbara","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100425071","display_name":"Yingjie Li","orcid":"https://orcid.org/0000-0002-1144-7401"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yingjie Li","raw_affiliation_strings":["University of Utah"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Utah","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053022655","display_name":"Cong Hao","orcid":"https://orcid.org/0000-0002-2541-8767"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cong Hao","raw_affiliation_strings":["Georgia Institute of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030894829","display_name":"Steve Dai","orcid":"https://orcid.org/0000-0002-5045-1964"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Steve Dai","raw_affiliation_strings":["NVIDIA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NVIDIA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029321729","display_name":"Cunxi Yu","orcid":"https://orcid.org/0000-0003-3481-307X"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cunxi Yu","raw_affiliation_strings":["University of Utah"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Utah","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100385336","display_name":"Yuan Xie","orcid":"https://orcid.org/0000-0003-2093-1788"},"institutions":[{"id":"https://openalex.org/I4210086143","display_name":"Alibaba Group (Cayman Islands)","ror":"https://ror.org/00mnrxf72","country_code":"KY","type":"company","lineage":["https://openalex.org/I4210086143","https://openalex.org/I45928872"]}],"countries":["KY"],"is_corresponding":false,"raw_author_name":"Yuan Xie","raw_affiliation_strings":["Alibaba DAMO Academy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Alibaba DAMO Academy","institution_ids":["https://openalex.org/I4210086143"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5065262986"],"corresponding_institution_ids":["https://openalex.org/I154570441"],"apc_list":null,"apc_paid":null,"fwci":3.8412,"has_fulltext":false,"cited_by_count":31,"citation_normalized_percentile":{"value":0.9415946,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9972000122070312,"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"}},"topics":[{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9972000122070312,"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/T12808","display_name":"Ferroelectric and Negative Capacitance Devices","score":0.9955999851226807,"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/T11948","display_name":"Machine Learning in Materials Science","score":0.9940999746322632,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8028738498687744},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6530218720436096},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.5961835980415344},{"id":"https://openalex.org/keywords/datapath","display_name":"Datapath","score":0.5333274602890015},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5130335092544556},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.41063833236694336},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3364960551261902},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.16010871529579163},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.12379515171051025},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.0863446295261383}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8028738498687744},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6530218720436096},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.5961835980415344},{"id":"https://openalex.org/C2781198647","wikidata":"https://www.wikidata.org/wiki/Q1633673","display_name":"Datapath","level":2,"score":0.5333274602890015},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5130335092544556},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.41063833236694336},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3364960551261902},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.16010871529579163},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.12379515171051025},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0863446295261383}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/dac56929.2023.10247828","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac56929.2023.10247828","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 60th ACM/IEEE Design Automation Conference (DAC)","raw_type":"proceedings-article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-153971","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-153971","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference paper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W1511688816","https://openalex.org/W1528837436","https://openalex.org/W2026182761","https://openalex.org/W2038758190","https://openalex.org/W2100465945","https://openalex.org/W2123594341","https://openalex.org/W2155195660","https://openalex.org/W2329849566","https://openalex.org/W2618215639","https://openalex.org/W2768948804","https://openalex.org/W2884646805","https://openalex.org/W2942139435","https://openalex.org/W2945762497","https://openalex.org/W2946097251","https://openalex.org/W2949073274","https://openalex.org/W2952078569","https://openalex.org/W2983688775","https://openalex.org/W3106036041","https://openalex.org/W3176686472","https://openalex.org/W3198511427","https://openalex.org/W4200088851","https://openalex.org/W4226237846","https://openalex.org/W4281630198","https://openalex.org/W4288419263","https://openalex.org/W4293261720","https://openalex.org/W4294558607","https://openalex.org/W4312121031","https://openalex.org/W6678207807","https://openalex.org/W6682891771","https://openalex.org/W6738964360","https://openalex.org/W6746225894","https://openalex.org/W6752980285","https://openalex.org/W6760045743","https://openalex.org/W6761646360","https://openalex.org/W6763116988","https://openalex.org/W6790079765","https://openalex.org/W6801709446","https://openalex.org/W6908907853"],"related_works":["https://openalex.org/W2109699519","https://openalex.org/W970262775","https://openalex.org/W1831618318","https://openalex.org/W2006568360","https://openalex.org/W4233616027","https://openalex.org/W2059591361","https://openalex.org/W4244724753","https://openalex.org/W2535673728","https://openalex.org/W102726818","https://openalex.org/W2142114659"],"abstract_inverted_index":{"Reasoning":[0],"high-level":[1,65],"abstractions":[2],"from":[3,36,68,94,191],"bit-blasted":[4],"Boolean":[5],"networks":[6,58],"(BNs)":[7],"such":[8],"as":[9],"gate-level":[10,69],"netlists":[11],"can":[12],"significantly":[13],"benefit":[14],"functional":[15,33,66,124,176],"verification,":[16],"logic":[17,22],"minimization,":[18],"datapath":[19],"synthesis,":[20],"malicious":[21],"identification,":[23],"etc.":[24],"Mostly,":[25],"conventional":[26],"reasoning":[27,53,76,80,110,125,141,171,190],"approaches":[28],"leverage":[29],"structural":[30],"hashing":[31],"and":[32,39,60,91,138,146,182],"propagation,":[34],"suffering":[35],"limited":[37],"scalability":[38,83],"inefficient":[40],"usage":[41],"of":[42,104,155],"modern":[43],"computing":[44],"power.":[45],"In":[46],"response,":[47],"we":[48,106,183],"propose":[49],"a":[50],"novel":[51],"symbolic":[52],"framework":[54],"exploiting":[55],"graph":[56],"neural":[57],"(GNNs)":[59],"GPU":[61],"acceleration":[62],"to":[63,84,96,122,152,159],"reason":[64],"blocks":[67],"netlists,":[70],"namely":[71],"Gamora,":[72,105],"which":[73],"offers":[74],"high":[75,170],"performance":[77,111],"w.r.t":[78],"exact":[79],"algorithms,":[81],"strong":[82],"BNs":[85],"with":[86,150],"over":[87,139],"33":[88],"million":[89],"nodes,":[90],"generalization":[92],"capability":[93,103],"simple":[95],"complex":[97,179],"designs.":[98],"To":[99],"further":[100],"demonstrate":[101],"the":[102,160,164,186],"also":[107],"evaluate":[108],"its":[109],"after":[112,178],"various":[113],"technology":[114,180,192],"mapping":[115],"options,":[116],"since":[117],"technology-dependent":[118],"optimizations":[119],"are":[120],"known":[121],"make":[123],"much":[126],"more":[127],"challenging.":[128],"Experimental":[129],"results":[130],"show":[131],"that":[132],"(1)":[133],"Gamora":[134,168,189,194],"reaches":[135],"almost":[136],"100%":[137],"97%":[140],"accuracy":[142,172],"for":[143],"carry-save-array":[144],"(CSA)":[145],"Booth-encoded":[147],"multipliers,":[148],"respectively,":[149],"up":[151],"six":[153],"orders":[154],"magnitude":[156],"speedups":[157],"compared":[158],"state-of-the-art":[161],"implementation":[162],"in":[163,174],"ABC":[165],"framework;":[166],"(2)":[167],"maintains":[169],"(>92%)":[173],"finding":[175],"modules":[177],"mapping,":[181],"comprehensively":[184],"analyze":[185],"impacts":[187],"on":[188],"mapping.":[193],"is":[195],"available":[196],"at":[197],"https://github.com/Yu-Utah/Gamora.":[198]},"counts_by_year":[{"year":2026,"cited_by_count":5},{"year":2025,"cited_by_count":17},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":2}],"updated_date":"2026-05-30T09:04:40.226872","created_date":"2025-10-10T00:00:00"}