3 ms·
When I first learned about BDDs I found the original paper by Randal Bryant from 1986 surprisingly accessible: "Graph-Based Algorithms for Boolean Function Mani
by m4lvin 6y ago
When I first learned about BDDs I found the original paper by Randal Bryant from 1986 surprisingly accessible: "Graph-Based Algorithms for Boolean Function Manipulation" https://doi.org/10.1109/TC.1986.1676819 https://doi.org/10.1109/TC.1986.1676819
And some shameless promotion, I maintain Haskell bindings for a BDD library: https://github.com/m4lvin/HasCacBDD https://github.com/m4lvin/HasCacBDD
- criddell 6y agoI clicked through and found the 35 year old paper is behind a paywall. That doesn't seem reasonable.
- deleted 6y ago[deleted]
- UncleOxidant 6y agohttps://www.cs.cmu.edu/~bryant/pubdir/ieeetc86.pdf https://www.cs.cmu.edu/~bryant/pubdir/ieeetc86.pdf