This should be an accessible introduction to SAT: http://www.georg.weissenbacher.name/papers/mod12.pdf http://www.georg.weissenbacher.name/papers/mod12.pdf. If

This should be an accessible introduction to SAT: http://www.georg.weissenbacher.name/papers/mod12.pdf http://www.georg.weissenbacher.name/papers/mod12.pdf. If you want something more "high-level", and I'll look for something appropriate.