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
- 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
