Advanced design approaches for SFQ logic circuits based on the binary decision diagram | IEEE Journals & Magazine | IEEE Xplore