Here is information relevant to courses
Warren A. Hunt, Jr.
is teaching.
Practical SAT Solving. Spring, 2013.