VSL 2014: VIENNA SUMMER OF LOGIC 2014
SAT Home Page

Overview

The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the primary annual meeting for researchers focusing on 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.

Detailed information on SAT 2014 can be found on the SAT 2014 website.

Call for Papers

Call for Papers

Organization

Program Committee