Fabrício Vivas Andrade Leandro Maia Silva Antônio Otávio Fernandes Improving SAT-based Combinational Equivalence Checking through circuit preprocessing. 40-45 2008 ICCD http://dx.doi.org/10.1109/ICCD.2008.4751838 conf/iccd/2008 db/conf/iccd/iccd2008.html#AndradeSF08