SAT Live!

keep up to date with research on the satisfiability problem

Recent news about SAT for tag Grants

 

  • May 29, 2014  FLoC'14 Travel Support by Ines Lynce Grants 

    FLoC has some additional funds to provide travel grants of up to $750 for student attendees of FLoC’14. Funds can be requested to cover airfare and lodging (registration fees and meals will not be funded).

Our scientific association

The SAT association

Upcoming deadlines

April 25, 2018
RCRA'18
May 15, 2018
PhD @ KTH
May 31, 2018
MS'18
July 1, 2018
SAT'19

SAT related books

The Satisfiability Problem Handbook of Satisfiability 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