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 |