SAT Live!

keep up to date with research on the satisfiability problem

Recent news about SAT for tag ASP

 

Our scientific association

The SAT association

Our annual conference

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

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

April 30, 2025
VCLA'25 Int. Student Awards
May 7, 2025
SC-Square 2025 paper submission
May 9, 2025
CompAI-25 paper submission
May 12, 2025
PoS'25 paper submission
May 14, 2025
SMT'25 paper submission
May 31, 2025
SAT/SMT/AR 2025 application

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