Chaff: Engineering an Efficient SAT Solver," presented at 39th Design Automation Conference (2001)

by M Moskewicz, C Madigan, Y Zhao, L Zhang, S Malik