Theory and Applications of Satisfiability Testing

7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

  • Holger H. Hoos
  • David G. Mitchell
Conference proceedings SAT 2004

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

Table of contents

  1. Front Matter
  2. Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables

    1. Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
      Pages 16-29
    2. Michael Bauland, Philippe Chapdelaine, Nadia Creignou, Miki Hermann, Heribert Vollmer
      Pages 30-45
    3. Marco Benedetti, Sara Bernardini
      Pages 46-58
    4. Armin Biere
      Pages 59-70
    5. Evgeny Dantsin, Alexander Wolpert
      Pages 80-88
    6. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
      Pages 105-121
    7. Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Saïs
      Pages 122-132
    8. Ravi Gummadi, N. S. Narayanaswamy, R. Venkatakrishnan
      Pages 133-144
    9. Marijn Heule, Hans van Maaren
      Pages 145-156
    10. Jinbo Huang, Adnan Darwiche
      Pages 157-172
    11. Yannet Interian
      Pages 173-182
    12. Paul Jackson, Daniel Sheridan
      Pages 183-198
    13. Haixia Jia, Cris Moore, Bart Selman
      Pages 199-210
    14. HoonSang Jin, Fabio Somenzi
      Pages 211-223
    15. Hans Kleine Büning, Xishun Zhao
      Pages 224-234
    16. Guoqiang Pan, Moshe Y. Vardi
      Pages 235-250

About these proceedings

Keywords

Addition Boolean variable Erfüllbarkeitsproblem der Aussagenlogik QBF SAT algorithms SAT solvers Variable algorithms calculus complexity complexity theory heuristics local search probabilistic algorithms satisfiability testing

Editors and affiliations

  • Holger H. Hoos
    • 1
  • David G. Mitchell
    • 2
  1. 1.Department of Computer ScienceUniversity of British Columbia VancouverCanada
  2. 2.Computational Logic LaboratorySimon Fraser UniversityBurnabyCanada

Bibliographic information

  • DOI https://doi.org/10.1007/11527695
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-27829-0
  • Online ISBN 978-3-540-31580-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book