I am actually having to learn about SAT solvers. Is there any newbie friendly resource you think might help?