SAT Live!

keep up to date with research on the satisfiability problem

Recent news about SAT for tag Complexity

Nov 28, 2025 Course advertisement Proof Complexity as a Computational Lens by Jakob Nordström Complexity
Lectures about the "Proof Complexity as a Computational Lens" course in Copenhagen and Lund are streamed on Zoom and recordings are posted on YouTube.

Our scientific association

Our annual conference

SAT 2025, August 11-15 2025, Glasgow, Scotland

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

January 16, 2026: PhD @ Lund

SAT related books

Handbook of Satisfiability

The Art of Computer Programming Volume 4 Fascicle 6

Decision Procedures

The Satisfiability Problem

Boolean Models and Methods in Mathematics, Computer Science, and Engineering

Satisfiability & Verification

Test Pattern Generation using Boolean Proof Engines

Introduction to mathematics of satisfiability

Probleme SAT: progres et defis