Recent news about SAT subscribe via RSS

 

Our scientific association

The SAT association

Our annual conference

SAT 2021, 5-9 July 2021, Barcelona (Spain)

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

September 30, 2020
PhD @ TU Wien
September 30, 2020
PostDoc @ TU Wien

SAT related books