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 2026, 20-23 July, 2026, Lisbon, Portugal
Our journal
Upcoming deadlines
April 17, 2026
SC-Square 2026 paper submission
May 6, 2026
PB26 submission
May 7, 2026
PoS'26 paper submission
May 13, 2026
QBF'26
May 15, 2026
ML4SP paper submission
May 15, 2026
ModRef 2026 paper submission
May 15, 2026
WHOOPS'26 abstract submission
May 15, 2026
SOFT'26 paper submission
SAT related books