Understanding and using SAT solvers: A practitioner perspective https://resources.mpi-inf.mpg.de/departments/rg1/conferences/vtsa09/slides/leberre1.pdf