Seventh Pragmatics of SAT international workshop
The deadline for paper submission has been extended to May 8.
SAT Live!
keep up to date with research on the satisfiability problem
Our scientific association
Our annual conference
Our journal
Upcoming deadlines
- January 17, 2025
- PhD @ Lund
- February 6, 2025
- PostDoc @ KU Leuven
SAT related books
