12th SAT 2009: Swansea, UK

Invited Talks

Applications of SAT

Complexity Theory

Structures for SAT

Resolution and SAT

Translations to CNF

Techniques for Conflict-Driven SAT Solvers

Solving SAT by Local Search

Hybrid SAT Solvers

Automatic Adaption of SAT Solvers

Stochastic Approaches to SAT Solving

QBFs and Their Representations

Optimisation Algorithms

Distributed and Parallel Solving

a service of Schloss Dagstuhl - Leibniz Center for Informatics