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 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
SAT@FLoC 2022, 2-5 August 2022, Haifa (Israel)
Our journal
Upcoming deadlines
June 29, 2022
PhD @ Copenhagen
June 29, 2022
Postdocs @ Copenhagen
June 30, 2022
PhD @ BLaSST
July 8, 2022
Travel Grant
SAT related books