Recent news about SAT subscribe via RSS

 

Our scientific association

The SAT association

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

January 17, 2024
Professorship @ JKU
January 18, 2024
Positions @ Brussels

SAT related books