Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks.

Nan Wu, Yingjie Li, Cong Hao, Steve Dai, Cunxi Yu, Yuan Xie

Browse the full DAC paper archive.