SAT Live!

keep up to date with research on the satisfiability problem

Recent news about SAT for tag Advertising

Oct 29, 2019 SAT-Your-Day : A Puzzle Game based on SAT by Combi-Games SAT Advertising
A Game called SAT-Your-Day, based on the SAT problem, which is available for Android and IOS in French and English.

Our scientific association

Our annual conference

SAT 2021, 5-9 July 2021, Barcelona (Spain)

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

April 23, 2021: SAT Competition 2021
April 30, 2021: SMT'21 call for papers
April 30, 2021: VCLA'21 Student Award
May 16, 2021: PoS'21 CFP

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