SAT Live!
keep up to date with research on the satisfiability problem
Home
About
How to contribute
Newcomer to SAT
Solvers
Recent news about SAT for tag Event
May 20, 2015
ACAI’15 Summer School on Constraints Solving Techniques in AI
by Daniel Le Berre
Event
In odd-numbered years, the European Coordinating Committee for Artificial Intelligence (ECCAI) sponsors a specialised course in Artificial Intelligence, called Advanced Course on Artificial Inteliigence (ACAI).
Our scientific association
Our annual conference
SAT 2025, August 11-15 2025, Glasgow, Scotland
Our journal
Upcoming deadlines
May 25, 2025
WHOOPS'25 Travel grant
May 31, 2025
SAT/SMT/AR 2025 application
June 6, 2025
MCW 2025 paper submission
June 10, 2025
Fahiem Bacchus PhD Award
SAT related books