Recent news about SAT for tag PhD


Our scientific association

The SAT association

Our annual conference

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

March 25, 2019
VCLA Int. Student Award
March 31, 2019
JELIA'19 early registration
April 15, 2019
SAT Race 2019
May 10, 2019
June 9, 2019
SAT hosting CFP
November 30, 2019
Helmut Veith Stipend

SAT related books