Recent news about SAT for tag Advertising

 

Our scientific association

The SAT association

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

November 30, 2019
Helmut Veith Stipend
December 1, 2019
Prof @ TU Wien
December 15, 2019
PostDocs @ Simons
January 12, 2020
Profs @ Aalto
January 15, 2020
Workshops @ QONFEST 20

SAT related books