SAT Association Logo

THE SAT ASSOCIATION
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
Two BDD
SAT cube
Search graph for CNF formula
SAT Handbook
Equations
An AIG
Marek's book
SAT 2000