Linear sifting of decision diagrams and its application in synthesis | IEEE Journals & Magazine | IEEE Xplore