Recent news about SAT for tag ASP

 

Our scientific association

The SAT association

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

May 4, 2023
PoS'23 paper submission
May 15, 2023
MOSAIC'23

SAT related books