I learned a good foundation of how SAT solvers work in this course: http://resources.mpi-inf.mpg.de/departments/rg1/teaching/aut...

Lecture notes are there; exercises are available in the linked earlier instances of the course.