Ninth International Conference on
Theory and Applications of Satisfiability Testing

August 12 - 15
Seattle, Washington, USA
Affiliated to FLOC'06

As SAT'06 is part of FLOC'06 these pages became obsolete. The official SAT'06 home page, though with the same contents, is hosted by EasyChair. We simply keep these pages as a backup.

The International Conference on Theory and Applications of Satisfiability Testing is the primary annual meeting for researchers studying the propositional satisfiability problem (SAT).

Affiliated Events


Many hard combinatorial problems can be encoded into SAT. Therefore any improvement on heuristics on the practical side, as wells as theoretical insight into SAT apply to a large range of real-world problems. More specifically, many important practical verification problems can be rephrased as SAT problems. This applies to verification problems in hardware and software. Thus SAT is becoming one of the most important core technologies to verify secure and dependable systems.

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
  • Hard Instances
  • Randomized Formulae
  • Problem Encodings
  • Industrial Applications
  • Solvers, Simplifiers and Tools
  • Case Studies and Empirical results

SAT is interpreted in a rather broad sense: besides propositional satisfiability, it includes the domain of quantified boolean formulae (QBF), constraints programming techniques (CSP) for word-level problems and their propositional encoding and particularly satisfiability modulo theories (SMT).


The last conference SAT'05 was held in St Andrews, Scotland, and SAT'04 in Vancouver, BC, Canada. The proceedings of SAT 2005 are published as volume 3569 of LNCS. See for more information.

SAT'06 is part of FLOC'06, the fourth Federated Logic Conference, which will host, in addition to SAT, LICS, RTA, CAV, ICLP and IJCAR.

Call for Papers

Here are the outdated PDF and ASCII versions of the Call for Papers.

Accepted Papers

Out of 80 submissions the program comittee selected 26 regular and 11 short papers for oral presentation and inclusion into the proceedings which will be published by Springer in the LNCS series. The list of accepted papers resides on a seperate page.


The program is also available on a seperate page.