et al., Chaff: engineering an efficient SAT solver, in (2001)

by M Moskewicz
Venue:Proc. of IEEE/ACM Design Automation Conference