SAT Live!
keep up to date with research on the satisfiability problem
Recent news about SAT for tag Advertising
-
Oct 29, 2019 SAT-Your-Day : A Puzzle Game based on SAT by Combi-Games SAT Advertising
A Game called SAT-Your-Day, based on the SAT problem, which is available for Android and IOS in French and English.
Our scientific association
Our annual conference
Our journal
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
