Chaff: Engineering an Efficient SAT Solver.

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

Browse the full DAC paper archive.