6 ms·
OBDD: Ordered Binary Decision Diagrams. This data structure allows efficient symbolic operations on boolean functions. Widely used in electronic design automati
by pavelboyko 4y ago
OBDD: Ordered Binary Decision Diagrams. This data structure allows efficient symbolic operations on boolean functions. Widely used in electronic design automation software.
[1] https://en.wikipedia.org/wiki/Binary_decision_diagram https://en.wikipedia.org/wiki/Binary_decision_diagram
[2] https://apps.dtic.mil/sti/pdfs/ADA470446.pdf https://apps.dtic.mil/sti/pdfs/ADA470446.pdf