Advertisement

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

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
  14. Alessandro Armando, Luca Compagna
    Pages 257-271
  15. Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson
    Pages 272-286
  16. Christian Bessière, Emmanuel Hebrard, Toby Walsh
    Pages 299-314
  17. Per Bjesse, James Kukula, Robert Damiano, Ted Stanion, Yunshan Zhu
    Pages 315-329
  18. Ryan Williams
    Pages 330-340
  19. Fahiem Bacchus, Jonathan Winter
    Pages 341-355
  20. Hans Kleine Büning, Xishun Zhao
    Pages 356-369
  21. Lyndon Drake, Alan Frisch
    Pages 370-382
  22. Daniele Pretolani
    Pages 383-397
  23. John Franco, Michal Kouril, John Schlipf, Jeffrey Ward, Sean Weaver, Michael Dransfield et al.
    Pages 398-410
  24. Oliver Kullmann
    Pages 426-440
  25. Marc Herbstritt, Bernd Becker
    Pages 441-451
  26. Daniel Le Berre, Laurent Simon
    Pages 452-467
  27. Daniel Le Berre, Laurent Simon, Armando Tacchella
    Pages 468-485
  28. Gilles Dequen, Olivier Dubois
    Pages 486-501
  29. Niklas Eén, Niklas Sörensson
    Pages 502-518
  30. Alfredo Braunstein, Riccardo Zecchina
    Pages 519-528
  31. Back Matter

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

  • DOI https://doi.org/10.1007/b95238
  • 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
  • Buy this book on publisher's site