SAT Association Logo

DPLL, CDCL, SLS, GB, SMT, BDD, AIG, MAX-SAT, Equiv Check, Model Check, more ...

Funding opportunities and Scholarships for junior researchers
   The SAT Association has an ongoing program for sponsoring short-term missions (STM) of junior researchers in SAT. Basically, the idea is to subsidize travel costs for short visits (1-3 weeks) of PhD students to some other research group in SAT to work on SAT related topics. Informal proposals should be sent to one of the members of the board of the association, preferably the chair. Awards will range up to 1000€ but special cases will be considered.
SAT visualization
SAT visualization
SAT cube
Search graph for CNF formula
SAT Handbook
Marek's book
SAT 2000