Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes. Improving SAT-based Combinational Equivalence Checking through circuit preprocessing. In 26th International Conference on Computer Design, ICCD 2008, 12-15 October 2008, Lake Tahoe, CA, USA, Proceedings. pages 40-45, IEEE, 2008. [doi]
Abstract is missing.