Chaff: Engineering an Efficient SAT Solver. In: (2001)

by M W Moskewicz, C F Madigan, Y Zhao, L Zhang, S Malik
Venue:Proceedings Design Automation Conference (DAC’01), ACM,