Advertisement

Theory and Applications of Satisfiability Testing - SAT 2006

9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

  • Armin Biere
  • Carla P. Gomes
Conference proceedings SAT 2006

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4121)

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Hossein M. Sheini, Karem A. Sakallah
      Pages 1-9
    2. Fahiem Bacchus
      Pages 10-10
  3. Session 1. Proofs and Cores

    1. Arist Kojevnikov, Alexander S. Kulikov
      Pages 11-21
    2. Nachum Dershowitz, Ziyad Hanna, Alexander Nadel
      Pages 36-41
    3. Joshua Buresh-Oppenheim, David Mitchell
      Pages 42-47
    4. Toni Jussila, Carsten Sinz, Armin Biere
      Pages 54-60
  4. Session 2. Heuristics and Algorithms

    1. Mark Chavira, Adnan Darwiche
      Pages 61-74
    2. Himanshu Jain, Constantinos Bartzis, Edmund Clarke
      Pages 75-89
  5. Session 3. Applications

  6. Session 4. SMT

    1. Yinlei Yu, Sharad Malik
      Pages 142-155
    2. Robert Nieuwenhuis, Albert Oliveras
      Pages 156-169
    3. Hossein M. Sheini, Karem A. Sakallah
      Pages 184-197
  7. Session 5. Structure

    1. Uwe Bubeck, Hans Kleine Büning
      Pages 198-211
    2. Stefan Porschen, Ewald Speckenmeyer, Bert Randerath
      Pages 212-225
    3. Su Chen, Tomasz Imielinski, Karin Johnsgard, Donald Smith, Mario Szegedy
      Pages 226-239
  8. Session 6. MAX-SAT

    1. María Luisa Bonet, Jordi Levy, Felip Manyà
      Pages 240-251
    2. Zhaohui Fu, Sharad Malik
      Pages 252-265
    3. Osamu Watanabe, Masaki Yamamoto
      Pages 277-282
  9. Session 7. Local Search and Survey Propagation

    1. Steven Prestwich, Inês Lynce
      Pages 283-296
    2. Andrei A. Bulatov, Evgeny S. Skvortsov
      Pages 297-310
    3. Panagiotis Manolios, Yimin Zhang
      Pages 311-324
    4. Eric I. Hsu, Sheila A. McIlraith
      Pages 325-338
  10. Session 8. QBF

    1. Hans Kleine Büning, Xishun Zhao
      Pages 339-352
    2. Horst Samulowitz, Fahiem Bacchus
      Pages 353-367
    3. Ashish Sabharwal, Carlos Ansotegui, Carla P. Gomes, Justin W. Hart, Bart Selman
      Pages 382-395
  11. Session 9. Counting and Concurrency

    1. Naomi Nishimura, Prabhakar Ragde, Stefan Szeider
      Pages 396-409
    2. António Morgado, Paulo Matos, Vasco Manquinho, João Marques-Silva
      Pages 410-423
    3. Antti E. J. Hyvärinen, Tommi Junttila, Ilkka Niemelä
      Pages 430-435
  12. Back Matter

About these proceedings

Keywords

QBF SAT solvers SMT algorithms bioinformatics calculus complexity description logics heuristics learning local search optimization random walks resolution satisfiability testing

Editors and affiliations

  • Armin Biere
    • 1
  • Carla P. Gomes
    • 2
  1. 1.Institute for Formal Models and VerificationJohannes Kepler UniversityLinzAustria
  2. 2.Department of Computer ScienceCornell UniversityIthacaU.S.A.

Bibliographic information

  • DOI https://doi.org/10.1007/11814948
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-37206-6
  • Online ISBN 978-3-540-37207-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site