Yu-Maryland / Gamora

Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks (DAC'23)
Other
45 stars 4 forks source link