News:

• The conference talks will be made available around the middle of September (some administrational problems are causing delays).
• Here here the "official" conference photo, and here is another one.
• The Conference Proceedings has been published.

Overview

• The International Conference on Theory and Applications of Satisfiability Testing is the primary annual meeting for researchers studying the propositional satisfiability problem (SAT).
• The invited speakers are
  • Robert Nieuwenhuis
  • Moshe Vardi
• The SAT conference also hosts the SAT competition, the Pseudo-Boolean evaluation, and the MAX-SAT evaluation.
• See www.satisfiability.org for information on previous meetings.

Affiliated Events

SAT Competition
PB Evaluation
MAX-SAT Evaluation

Scope

The topics of the conference span practical and theoretical research on SAT and its applications and include but are not limited to:

• Proof Systems and Proof Complexity
• Search Algorithms and Heuristics
• Analysis of Algorithms
• Combinatorial Theory of Satisfiability
• Hard Instances
• Randomised Formulae
• Problem Encodings
• Industrial Applications
• Applications to Combinatorics
• Solvers, Simplifiers and Tools
• Case Studies and Empirical Results

SAT is interpreted in a broad sense: besides propositional satisfiability, it includes the domains of pseudo-Boolean constraint solving and optimisation (PB), quantified boolean formulae (QBF), constraint programming techniques (CSP) for word-level problems and their propositional encoding, and satisfiability modulo theories (SMT).

Paper Submission

Paper submissions should contain original material and can either be regular research papers up to 14 pages or short papers up to 6 pages. Regular papers may be accepted as short papers, by decision of the program committee. Double submissions including submissions as short and long papers will be rejected. Submissions should use the Springer LNCS style. All appendices, tables, figures and the bibliography must fit into the page limit. Submissions deviating from these requirements may be rejected without review. All accepted papers including short papers will be published in the proceedings of the conference, which will be published in Springer's LNCS series. The submission page is http://www.easychair.org/conferences/?conf=sat2009. Papers have to be submitted electronically as PDF files.

• Abstracts are due by February 23, 23:59 GMT.
• Papers are due by March 2, 23:59 GMT.

Call for Papers

PDF and ASCII versions of the Call for Papers.

JSAT special issues

• JSAT will be organising a special issue on the SAT 2009 competition.
• And there will a special issue with the best papers from SAT 2009 (based on the evaluation by the program committee).

---

Last modified: Sat Sep 19 19:02:53 BST 2009