Recent news about SAT for tag SMT

 

Our scientific association

The SAT association

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

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