Extending SAT Solvers to Cryptographic Problems
Visualizing SAT Instances and Runs of the DPLL Algorithm