Efficient minimization and manipulation of linearly transformed binary decision diagrams | IEEE Journals & Magazine | IEEE Xplore