SAT Live!

keep up to date with research on the satisfiability problem

MAXSAT 2015 Evaluation

May 25, 2015 • Jordi Planes Competition CFP

Submission for the MAXSAT competition is now open. The deadline for submitting solvers and benchmarks is June 30.

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

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