12th SAT 2009: Swansea, UK

Refine list

showing all ?? records

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