International Conference on Theory and Applications of Satisfiability Testing (SAT)

The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual event dedicated to the study of propositional satisfiability and related areas. The conference encompasses a broad spectrum of topics, including SAT, SMT, QBF, MaxSAT, and their applications in artificial intelligence, formal verification, and combinatorial optimization. SAT will feature a diverse program of workshops, tutorials, and paper presentations, fostering collaboration and knowledge exchange among researchers and practitioners in the field.