-
Fast OBDD Reordering using Neural Message Passing on Hypergraph
Ordered binary decision diagrams (OBDDs) are an efficient data structure...
read it

Feifan Xu
is this you? claim profile
Ordered binary decision diagrams (OBDDs) are an efficient data structure...
read it