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

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
  19. Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto
    Pages 187-200
  20. Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kröning, Christoph M. Wintersteiger
    Pages 201-214
  21. Horst Samulowitz, Fahiem Bacchus
    Pages 215-229
  22. Marko Samer, Stefan Szeider
    Pages 230-243
  23. Uwe Bubeck, Hans Kleine Büning
    Pages 244-257
  24. Marijn Heule, Hans van Maaren
    Pages 258-271
  25. Niklas Een, Alan Mishchenko, Niklas Sörensson
    Pages 272-286
  26. Nachum Dershowitz, Ziyad Hanna, Alexander Nadel
    Pages 287-293
  27. Knot Pipatsrisawat, Adnan Darwiche
    Pages 294-299
  28. Joshua Buresh-Oppenheim, David Mitchell
    Pages 300-313
  29. Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani
    Pages 334-339
  30. Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, Harald Zankl
    Pages 340-354
  31. Stefan Staber, Roderick Bloem
    Pages 355-368
  32. Debapratim De, Abishek Kumarasubramanian, Ramarathnam Venkatesan
    Pages 377-382
  33. Back Matter

About these proceedings


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.


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

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-72787-3
  • Online ISBN 978-3-540-72788-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software