International Conference on Theory and Applications of Satisfiability Testing

SAT is the premier annual meeting for researchers focused on the theory and applications of propositional satisfiability and Boolean-level reasoning, including MaxSAT, pseudo-Boolean constraints, QBF, SMT, model counting, and constraint programming.