Theory and Applications of Satisfiability Testing

6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers

  • Enrico Giunchiglia
  • Armando Tacchella
Conference proceedings SAT 2003

DOI: 10.1007/b95238

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

Table of contents

  1. Front Matter
  2. Michael R. Dransfield, Victor W. Marek, Mirosław Truszczyński
    Pages 1-13
  3. Ian Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew Rowley, Armando Tacchella
    Pages 25-36
  4. Eugene Goldberg, Yakov Novikov
    Pages 37-52
  5. Youichi Hanatani, Takashi Horiyama, Kazuo Iwama
    Pages 69-77
  6. Edmund Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang
    Pages 78-92
  7. Hans Kleine Büning, K. Subramani, Xishun Zhao
    Pages 93-104
  8. Steven Prestwich
    Pages 105-119
  9. Hans van Maaren, Linda van Norden
    Pages 135-149
  10. Elizabeth Broering, Satyanarayana V. Lokam
    Pages 162-171
  11. Stefan Porschen, Bert Randerath, Ewald Speckenmeyer
    Pages 172-187
  12. Uwe Egly, Martina Seidl, Hans Tompits, Stefan Woltran, Michael Zolda
    Pages 214-228
  13. Ashish Sabharwal, Paul Beame, Henry Kautz
    Pages 242-256

About these proceedings

Keywords

Erfüllbarkeitsproblem der Aussagenlogik QBF Resolution SAT algorithms SAT solvers algorithms calculus data structures heuristics local search probabilistic algorithms proof theory propositional logic proving satisfiability

Editors and affiliations

  • Enrico Giunchiglia
    • 1
  • Armando Tacchella
    • 1
  1. 1.DIST, Università di GenovaGenovaItaly

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20851-8
  • Online ISBN 978-3-540-24605-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349