Improving SAT-based Combinational Equivalence Checking through circuit preprocessing | IEEE Conference Publication | IEEE Xplore