no code implementations • 6 Nov 2018 • Feifan Xu, Fei He, Enze Xie, Liang Li
Ordered binary decision diagrams (OBDDs) are an efficient data structure for representing and manipulating Boolean formulas.