SAT Live!

keep up to date with research on the satisfiability problem

Four Tenure-Track Positions for Female Candidates at JKU Linz

Apr 9, 2025 • Martina Seidl Position

Four Tenure-Track Positions for Female Candidates at JKU Linz

Our scientific association

Our annual conference

SAT 2026, 20-23 July, 2026, Lisbon, Portugal

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

May 6, 2026: PB26 submission
May 7, 2026: PoS'26 paper submission
May 13, 2026: QBF'26
May 15, 2026: ModRef 2026 paper submission
May 15, 2026: WHOOPS'26 abstract submission
May 15, 2026: SOFT'26 paper submission
May 15, 2026: LLM-Solve'26 paper submission
May 15, 2026: ML4SP workshop

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