LARA

Links on Modern Automated Provers and Constraint Solvers

SAT background (practical considerations)

SMT (Satisfiability Modulo Theories)

Finite Model Finding

General Overview