Recent news about SAT for tag ASP

 

Our scientific association

The SAT association

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

January 31, 2023
CFP Verified Checkers
January 31, 2023
PhD @ BLaSST
March 17, 2023
SAT'23
April 30, 2023
Core Challenge 2023

SAT related books