Theory and Applications of Satisfiability Testing – SAT 2007

10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

  • Editors
  • João Marques-Silva
  • Karem A. Sakallah
Conference proceedings SAT 2007

DOI: 10.1007/978-3-540-72788-0

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

Table of contents

  1. Front Matter
  2. Martin Davis
    Pages 1-2
  3. Juan Antonio Navarro-Pérez, Andrei Voronkov
    Pages 3-3
  4. Panagiotis Manolios, Daron Vroon
    Pages 4-9
  5. Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manyà
    Pages 10-15
  6. Gilles Audemard, Lakhdar Saïs
    Pages 16-21
  7. Inês Lynce, Joao Marques-Silva
    Pages 22-27
  8. Josep Argelich, Felip Manyà
    Pages 28-40
  9. Federico Heras, Javier Larrosa, Albert Oliveras
    Pages 41-55
  10. Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich
    Pages 56-69
  11. Marina Langlois, Robert H. Sloan, György Turán
    Pages 80-93
  12. Stefan Szeider
    Pages 94-99
  13. Carla P. Gomes, Joerg Hoffmann, Ashish Sabharwal, Bart Selman
    Pages 100-106
  14. Chu Min Li, Wanxia Wei, Harry Zhang
    Pages 121-133
  15. Marijn Heule, Hans van Maaren
    Pages 134-147
  16. Dominik Scheder, Philipp Zumstein
    Pages 148-158
  17. Alexander Hertel, Philipp Hertel, Alasdair Urquhart
    Pages 159-172
  18. Stefan Porschen, Ewald Speckenmeyer
    Pages 173-186

About these proceedings

Introduction

This volume contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. The International Conferences on Theory and Applications of Satis?ability Testing (SAT) originated in 1996 as a series of workshops “on Satis?ability.” By the third meeting in 2000, the workshop had attracted a mix of theorists and experimentalists whose common interest was the enhancement of our basic understanding of the theoretical underpinnings of the Satis?ability problem as well as the development of scalable algorithms for its solution in a wide range of application domains. In 2002 a competition of SAT solvers was inaugurated to spur further algorithmic and implementation developments, and to create an eclectic collection of benchmarks. The competition—expanded in subsequent years to include pseudo Boolean, QBF, and MAX-SAT solvers—has become an integralpartofthesemeetings,addinganelementofexcitementandanticipation. Theinterplaybetweentheoryandapplication,aswellastheincreasedinterestin Satis?abilityfromawider communityofresearchers,ledtothe naturalevolution of these initial workshops into the current conference format. The annual SAT conference is now universally recognized as “the venue” for publishing the latest advances in SAT research.

Keywords

Counting MAX-SAT algorithms constraint programing distributed systems fault diagnosis heuristics learning local search logic optimization probabilistic algorithms proof proof complexity robot

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-72787-3
  • Online ISBN 978-3-540-72788-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349