SAT Association Logo

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

Board
   Chair
   Vice Chair
   Treasurer
 
Extended Board Members
   Counselor
   SMT Representative
 
Auditors
   Auditor
   Auditor