Recent news about SAT for tag PostDoc

 

Our scientific association

The SAT association

Our annual conference

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

October 31, 2018
JSAT SAT18
October 31, 2018
PhD @ KTH
December 3, 2018
JELIA 2019

SAT related books