Synthesis of Reversible Circuits with Reduced Nearest-Neighbor Cost Using Kronecker Functional Decision Diagrams. - Bu, Dengli; Yan, Junjie; Tang, Pengjie; Yuan, Haohao (J. Electron. Test., 2022)