Boolean Satisfiability

Three good articles explaining the basics of Boolean Satisfiability:

• Modern SAT solvers: fast, neat, and underused (part 1)
• Understanding SAT by Implementing a Simple SAT Solver in Python
• SAT Basics from the SAT Association — More technical and mathematical.