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 2023, July 4-8 2023, Alghero, Sardinia
Our journal
Upcoming deadlines
March 31, 2023
QBF Gallery'23
March 31, 2023
VCLA'23 Int. Student Awards
April 15, 2023
SAT Competition 2023
April 27, 2023
CP 2023 CfP
April 30, 2023
Core Challenge 2023
May 4, 2023
PoS'23 paper submission
SAT related books