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 29, 2022
PhD @ Copenhagen
June 29, 2022
Postdocs @ Copenhagen
June 30, 2022
PhD @ BLaSST
July 8, 2022
Travel Grant

SAT related books