et al., “Chaff: engineering an efficient SAT solver (0)

by M W Moskewicz
Venue:Proc. Design Automation Conf. (DAC’01), Las Vegas, NV, USA 2001