SAT-Based Equivalence Checking Based on Circuit Partitioning and Special Approaches for Conflict Clause Reuse. - Fabrício Vivas Andrade; Márcia C. M. Oliveira; Antônio Otávio Fernandes; Claudionor José Nunes Coelho Jr. (DDECS, 2007)