Recent news about SAT for tag Advertising

 

Our scientific association

The SAT association

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

September 1, 2024
PreCall Bilateral AI Austria
September 6, 2024
PhD @ Lund

SAT related books