Multiple BDD based matrix multiplication | IEEE Conference Publication | IEEE Xplore