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

October 31, 2018
JSAT SAT18
October 31, 2018
PhD @ KTH
December 3, 2018
JELIA 2019
March 1, 2019
ICCMA'19

SAT related books