SAT-Based Equivalence Checking Based on Circuit Partitioning and Special Approaches for Conflict Clause Reuse | IEEE Conference Publication | IEEE Xplore