SAT Live!
keep up to date with research on the satisfiability problem
Home
About
How to contribute
Solvers
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
SAT 2021, 5-9 July 2021, Barcelona (Spain)
Our journal
Upcoming deadlines
March 19, 2021
SAT'21 call for papers
April 30, 2021
SMT'21 call for papers
SAT related books