A Primer on Boolean Satisfiability
homes.cs.washington.edu