SAT-Controlled redundancy addition and removal — a novel circuit restructuring technique | IEEE Conference Publication | IEEE Xplore