Recent news about SAT subscribe via RSS

 

Our scientific association

The SAT association

Upcoming deadlines

April 30, 2016
BP12
May 1, 2016
PB16 - Solvers and benchmarks submission
May 8, 2016
POS'16 paper submission
May 8, 2016
QBF'16
May 9, 2016
CSPSAT'16
May 18, 2016
Structsat2016

SAT related books