Recent news about SAT for tag Registration

 

Our scientific association

The SAT association

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

January 18, 2024
Positions @ Brussels
January 26, 2024
Assistant professorship @ Copenhagen
February 23, 2024
SAT'24 Call for Workshops
March 15, 2024
SAT'24 paper submission

SAT related books