CHAFF references..

[Subbarao Kambhampati <rao@asu.edu>]

Here are the slides of a talk by Sharad Malik, whose group designed CHAFF 
solver

The talk is titled "The quest for an efficient SAT Solver"

http://www.ee.princeton.edu/~sharad/cav-cade2002.pdf

and here is the homepage for CHAFF solver:

http://www.ee.princeton.edu/~chaff/index.php

rao