This is an old revision of the document!
SAT Solvers and Finite Model Finders
This is continuation of lecture07.
We discuss SAT solving algorithms and techniques.
SAT Solvers
Simple Encodings into Propositional Logic
A pre-view of Finite-Model Finders