Recent news about SAT subscribe via RSS

 

Our scientific association

The SAT association

Our annual conference

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

January 25, 2019
CP'19 tracks
February 4, 2019
SAT'19 workshop proposal
February 4, 2019
PostDocs @ KTH
February 7, 2019
Positions@AaltoU
March 1, 2019
ICCMA'19
March 1, 2019
SAT'19 (abstract)
March 15, 2019
VCLA Int. Student Award
November 30, 2019
Helmut Veith Stipend

SAT related books