SAT-based reversible gate/wire replacement fault testing | IEEE Conference Publication | IEEE Xplore