Recent news about SAT subscribe via RSS

 

Our scientific association

The SAT association

Upcoming deadlines

February 17, 2017
Position @ KTH
April 3, 2017
JAR Special Issue 2017
April 26, 2017
SAT'17 abstract submission
May 15, 2017
QBFEVAL'17 Benchmarks

SAT related books