Links satisfiability.org JSAT - Journal on Satisfiability, Boolean Modeling and Computation SAT Live! SAT-Related Workshops and Events MaxSAT Evaluations Modelcounting Pragmatics of SAT QBFGallery Quantified Boolean Formulas Satisfiability Library SAT Competition Satisfiability Modulo Theories SAT/SMT/AR Summer School