====== Talks on BDDs ======
In these talks the students present papers on BDD based solution techniques.
[[start|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|{{:Papers:mtbdd-data-structure.pdf|paper}}|