Satisfiability and SAT solvers

We review the notion of satisfiability and SAT formula via an example. Also pointers to SAT solvers are provided.