Recent news about SAT for tag Advertising

 

Our scientific association

The SAT association

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

January 17, 2025
PhD @ Lund
February 6, 2025
PostDoc @ KU Leuven

SAT related books