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
April 23, 2021
SAT Competition 2021
April 30, 2021
SMT'21 call for papers
April 30, 2021
VCLA'21 Student Award
May 16, 2021
PoS'21 CFP
SAT related books