Chaff: Engineering an Efficient SAT Solver (0)

by M W Moskewicz, C F Madigan, Y Zhao, L Zhang, S Malik
Venue:In Proceedings of the 38th Design Automation Conference, DAC 2001, Las Vegas