Recent news about SAT for tag SMT


Our scientific association

The SAT association

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

September 13, 2021
PhD @ Lund
September 27, 2021
SAT'22 workshop proposals
November 30, 2021
VCLA'21 Helmut Veith Stipend
November 30, 2021
20 PhD positions @TU Wien

SAT related books