Single-electron logic device based on the binary decision diagram | IEEE Journals & Magazine | IEEE Xplore