"Chaff: Engineering an Efficient SAT Solver" Proc. of the 38th annual Design Automation Conference, pp. 530 - 535, June 2001.