SAT Live!
keep up to date with research on the satisfiability problem
Recent news about SAT for tag ASP
-
Jun 27, 2016 CFP 9th Workshop on Answer Set Programming and Other Computing Paradigms by Amelia Harrison CFP Deadline ASP
Submission deadline extended to July 4
Our scientific association
Our annual conference
Our journal
Upcoming deadlines
- June 3, 2022
- PoS'22 paper submission
- June 5, 2022
- PhD @ BLaSST
- June 29, 2022
- PhD @ Copenhagen
- June 29, 2022
- Postdocs @ Copenhagen
SAT related books
