Recent news about SAT subscribe via RSS

 

Our scientific association

The SAT association

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

March 19, 2021
SAT'21 call for papers
April 30, 2021
SMT'21 call for papers

SAT related books