Recent news about SAT for tag Deadline

 

Our scientific association

The SAT association

Our annual conference

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

September 29, 2018
Positions@AaltoU
October 31, 2018
JSAT SAT18

SAT related books