Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving

Zhengyuan Shi, Tiebing Tang, Jiaying Zhu +5

The Circuit Satisfiability (CSAT) problem, a variant of the Boolean Satisfiability (SAT) problem, plays a critical role in integrated circuit design and verification. However, exis…