Recent news about SAT for tag CFP

 

Our scientific association

The SAT association

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

May 23, 2021
PoS'21 paper submission
May 28, 2021
CP'21 paper submission
May 31, 2021
QBF'21
June 1, 2021
CP'21 tutorial proposals
June 12, 2021
CP'21 workshop proposals
June 15, 2021
MSE 2021 solver submission

SAT related books