Collection of lecture notes by Prof. Eric Allender, Rutgers University.

Includes related links, references and a summary of the results for the SAT benchmarks used in SAT Competition 2004.