SAT 2007 - Tenth International Conference on
Theory and Applications of Satisfiability Testing

May 28 - 31 2007, Lisbon, Portugal

Affiliated Events

SAT Competition
Daniel Le Berre
Laurent Simon
Ewald Speckenmeyer
Geoff Sutcliffe
Lintao Zhang

QBF Competition
Massimo Narizzano
Luca Pulina
Armando Tacchella

PB Evaluation
Vasco Manquinho
Olivier Roussel

MAX-SAT Evaluation
Josep Argelich
Chu-Min Li
Felip Manyà
Jordi Planes