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