SAT'06: SAT is also the name of
the main conference to publish results on the SAT problem,
in 2006 it will be held as part of the Federated Logic Conference (FLoC).
SAT Competition: Web page
of the yearly SAT-Solver competition.
SAT-Race 2006: A competitive
event held in conjunction with the SAT'06 conference, similar to the SAT Competition.
Slides and materials of a SAT-Course (graduate level)
I gave at Chalmers University, Gothenburg, Sweden.