LARA

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

Fixed-width Bitvectors

A preview of Finite-Model Finders as application of propositional logic.

References