References A SAT Solver Primer by David G. Mitchell Conflict-Driven Clause Learning SAT Solvers by Joao Marques-Silva, Ines Lynce and Sharad Malik Draft chapter on satisfiability by Adnan Darwiche