Recent news about SAT for tag ASP

 

Our scientific association

The SAT association

Our annual conference

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

November 23, 2018
JSAT SAT18
December 3, 2018
JELIA 2019
March 1, 2019
ICCMA'19
March 1, 2019
SAT'19 (abstract)

SAT related books