Recent news about SAT subscribe via RSS

 

Our scientific association

The SAT association

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

February 29, 2020
SAT'20 paper submission
March 25, 2020
VCLA'20 Student Award
March 31, 2020
SAT Competition 2020
April 26, 2020
QBF Evaluation 2020
May 15, 2020
WiL 2020 Travel Award
May 22, 2020
Model Counting Competition

SAT related books