Recent news about SAT subscribe via RSS

 

Our scientific association

The SAT association

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

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

SAT related books