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 |