Practical SAT: A tutorial on applied satisfiability solving

Niklas Een, FMCAD, November 11, 2007

The presentation consists of five programs (4 binaries, 1 source code): A zip file containing all the executables for Linux is available here. The zip file expands into a directory named PracticalSAT. The directory also contains additional README files with more information on how to use the three latter programs.

Windows version of the presentation is coming soon.