A Peek Inside SAT Solvers - Jon Smock