Recent news about SAT subscribe via RSS

 

Our scientific association

The SAT association

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

June 30, 2020
TU Wien PhD positions
July 2, 2020
PhD @ Lund
July 10, 2020
PhD&PostDocs @ Barcelona
July 20, 2020
PhD QBF@TU Wien

SAT related books