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 preview of Finite-Model Finders as application of propositional logic.