Chaff: Engineering an Efficient SAT Solver (2001)

by M Moskewicz, C Madigan, Y Zhao, L Zhang, S Malik
Venue:In Proc. of 38th Design Automation Conf