Recent news about SAT for tag Advertising

 

Our scientific association

The SAT association

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

January 12, 2020
Profs @ Aalto
January 15, 2020
Workshops @ QONFEST 20
February 2, 2020
SAT'20 workshop proposals
February 10, 2020
PostDocs @ Lund
February 22, 2020
SAT'20 call for papers

SAT related books