SAT Live!

keep up to date with research on the satisfiability problem

Seventh Pragmatics of SAT international workshop

Dec 22, 2015 • Olivier Roussel CFP Deadline

The website of the seventh pragmatics of SAT international workshop is now online.

Our scientific association

Our annual conference

SAT 2024, August 27-31 2024, Pune, India

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

May 18, 2024: PoS'24 paper submission
May 20, 2024: PB24 competition
May 28, 2024: MCW 2024 Call for Papers

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