The 1995-1996 DIMACS Special Year on Logic and Algorithms began with three week-long tutorial sessions on the topics of the special year:
These notes on the lectures given by James Lynch
were compiled by Eric Allender from the notes supplied
by Thomas Wilke, James Lynch, Sandeep K. Shukla, Helmut
Veith, and Ida Pu.
Paper Available at:
ftp://dimacs.rutgers.edu/pub/dimacs/TechnicalReports/TechReports/1997/97-56.ps.gz
DIMACS Home Page