9. SAT 2006: Seattle, WA, USA

Invited Talks

Proofs and Cores

Heuristics and Algorithms

Applications

SMT

Structure

MAX-SAT

Local Search and Survey Propagation

QBF

Counting and Concurrency