bdds
Talks on BDDs
In these talks the students present papers on BDD based solution techniques. Back to Start page
Title | Authors | Reference Papers |
---|---|---|
Multi-terminal binary decision diagrams: an efficient data structure for matrix representation | M. Fujita, P.C. McGeer, and J.C.-Y. Yang | paper |
bdds.txt · Last modified: 2017/04/18 10:32 by 127.0.0.1