Recent news about SAT subscribe via RSS


Our scientific association

The SAT association

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