Fast OBDD Reordering using Neural Message Passing on Hypergraph

Feifan Xu, Fei He, Enze Xie +1

Ordered binary decision diagrams (OBDDs) are an efficient data structure for representing and manipulating Boolean formulas. With respect to different variable orders, the OBDDs' s…