Chaff: Engineering an Efficient SAT Solver (2001)

by Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik