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

August 13, 2018
LPAR 2018
September 9, 2018
CFP DATE'19 D4

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