Gamora: Graph learning based symbolic reasoning for large-scale boolean networks

Jan 1, 2023·
Nan Wu
,
Yingjie Li
,
Cong Hao
,
Steve Dai
,
Cunxi Yu
Prof. Yuan Xie
Prof. Yuan Xie
· 0 min read
Type
Publication
2023 60th ACM/IEEE Design Automation Conference (DAC)