SAT 2014 - 17th International Conference on Theory and Applications of Satisfiability Testing (SAT)

The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the primary annual meeting for researchers studying the theory and applications of the propositional satisfiability problem, broadly construed. Besides plain propositional satisfiability, it includes Boolean optimization (including MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning.
Many hard combinatorial problems can be encoded as SAT instances, in the broad sense mentioned above, including problems in formal verification (hardware and software), artificial intelligence, and operations research. More recently, biology, cryptology, data mining, machine learning, and mathematics have been added to the growing list.
The SAT conference aims to further advance the field by soliciting original theoretical and practical contributions in these areas with a clear connection to satisfiability.