no code implementations • 13 Feb 2018 • Beate Bollig, Matthias Buttkus
Ordered binary decision diagrams (OBDDs) which are a popular data structure for Boolean functions are one of these representation types.