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 Logic
Jun 11, 2026
Junior Professorship (W1, Tenure Track Full Professor W3) in Computational Logic
by Matthias Tichy
Position
Deadline
Logic
SAT
Junior Professorship (W1, Tenure Track Full Professor W3) in Computational Logic – Ulm University, Germany
Our scientific association
Our annual conference
SAT 2026, 20-23 July, 2026, Lisbon, Portugal
Our journal
Upcoming deadlines
August 31, 2026
PostDoc @ University of Liverpool
October 30, 2026
PhD @ KU Leuven
SAT related books