SAT-Based Equivalence Checking Based on Circuit Partitioning and Special Approaches for Conflict Clause Reuse.

Fabrcio Vivas Andrade, Mrcia C. M. Oliveira, Antnio Otvio Fernandes, Claudionor Jos Nunes Coelho Jr.

Browse the full DDECS paper archive.