Chaff: Engineering an Efficient SAT Solver (2001)

by M Moskewicz, C Madigan, Y Zhao, L Zhang, S Malik
Venue:in Proceedings of Design Automation Conference