et al., “Chaff: Engineering an Efficient SAT Solver (2001)

by M W Moskewicz
Venue:in Proc. ACM/IEEE 38th Design Automation Conference