dblp.uni-trier.de www.uni-trier.de

9. SAT 2006: Seattle, WA, USA

Armin Biere, Carla P. Gomes (Eds.): Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings. Lecture Notes in Computer Science 4121 Springer 2006, ISBN 3-540-37206-7 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Talks

Proofs and Cores

Heuristics and Algorithms

Applications

SMT

Structure

MAX-SAT

Local Search and Survey Propagation

QBF

Counting and Concurrency

Copyright © Mon Nov 2 21:07:37 2009 by Michael Ley (ley@uni-trier.de)