SAT Live!

keep up to date with research on the satisfiability problem

Recent news about SAT for tag Awards

 

  • Oct 6, 2015  VCLA International Student Awards by Florian Lonsing Awards 

    The Vienna Center for Logic and Algorithms announces the 2015 edition of the VCLA International Student Awards and calls for the nomination of authors of outstanding scientific works in the field of Logic and Computer Science, in the following two categories:

  • Oct 9, 2014  VCLA International Student Awards by Stefan Szeider Awards 

    The Vienna Center for Logic and Algorithms calls for the nomination of authors of outstanding scientific works in the field of Logic and Computer Science.

Our scientific association

The SAT association

Our annual conference

SAT 2024, August 27-31 2024, Pune, India

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

SAT related books

Handbook of Satisfiability The Art of Computer Programming Volume 4 Fascicle 6 Decision Procedures The Satisfiability Problem Boolean Models and Methods in Mathematics, Computer Science, and Engineering Satisfiability & Verification Test Pattern Generation using Boolean Proof Engines Introduction to mathematics of satisfiability Probleme SAT: progres et defis