Recent news about SAT subscribe via RSS

 

Our scientific association

The SAT association

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

January 24, 2021
PostDoc @ Copenhagen
March 19, 2021
SAT'21 call for papers
April 30, 2021
SMT'21 call for papers

SAT related books