Recent news about SAT subscribe via RSS

 

Our scientific association

The SAT association

Our annual conference

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

May 21, 2019
SIGLOG/VCLA Travel Awards WiL 2019
May 25, 2019
QBF'19
May 31, 2019
SAT/SMT/AR'19
May 31, 2019
TU Wien positions
June 9, 2019
SAT hosting CFP
November 30, 2019
Helmut Veith Stipend

SAT related books