Recent news about SAT for tag ASP

 

Our scientific association

The SAT association

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

June 3, 2022
PoS'22 paper submission
June 5, 2022
PhD @ BLaSST
June 29, 2022
PhD @ Copenhagen
June 29, 2022
Postdocs @ Copenhagen

SAT related books