Skip to main content
SpringerLink
Log in
Book cover

Theory and Applications of Satisfiability Testing - SAT 2010

13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Ofer Strichman

    1. Technion, Technion City, Haifa, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Stefan Szeider

    1. Vienna University of Technology, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: SAT 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (37 papers)

  1. Front Matter

    Download chapter PDF

  3. Part 2. Regular Papers

    1. Improving Stochastic Local Search for SAT with a New Probability Distribution

      • Adrian Balint, Andreas Fröhlich
      Pages 10-15

    2. Lower Bounds for Width-Restricted Clause Learning on Small Width Formulas

      • Eli Ben-Sasson, Jan Johannsen
      Pages 16-29

    3. Proof Complexity of Propositional Default Logic

      • Olaf Beyersdorff, Arne Meier, Sebastian Müller, Michael Thomas, Heribert Vollmer
      Pages 30-43

    4. Automated Testing and Debugging of SAT and QBF Solvers

      • Robert Brummayer, Florian Lonsing, Armin Biere
      Pages 44-57

    5. Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN

      • Uwe Bubeck, Hans Kleine Büning
      Pages 58-70

    6. Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT

      • Carsten Fuhs, Peter Schneider-Kamp
      Pages 71-84

    7. sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning

      • Enrico Giunchiglia, Paolo Marin, Massimo Narizzano
      Pages 85-98

    8. Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold

      • Yacine Boufkhad, Thomas Hugel
      Pages 99-112

    9. Symmetry and Satisfiability: An Update

      • Hadi Katebi, Karem A. Sakallah, Igor L. Markov
      Pages 113-127

    10. A Non-prenex, Non-clausal QBF Solver with Game-State Learning

      • William Klieber, Samir Sapra, Sicun Gao, Edmund Clarke
      Pages 128-142

    11. SAT Solving with Reference Points

      • Stephan Kottler
      Pages 143-157

    12. Integrating Dependency Schemes in Search-Based QBF Solvers

      • Florian Lonsing, Armin Biere
      Pages 158-171

    13. An Exact Algorithm for the Boolean Connectivity Problem for k-CNF

      • Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto
      Pages 172-180

    14. Improving Unsatisfiability-Based Algorithms for Boolean Optimization

      • Vasco Manquinho, Ruben Martins, Inês Lynce
      Pages 181-193

    15. Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs

      • Christian Miller, Stefan Kupferschmid, Matthew Lewis, Bernd Becker
      Pages 194-208

    16. Statistical Methodology for Comparison of SAT Solvers

      • Mladen Nikolić
      Pages 209-222

    17. On the Relative Merits of Simple Local Search Methods for the MAX-SAT Problem

      • Denis Pankratov, Allan Borodin
      Pages 223-236
Back to top

Other volumes

  1. Theory and Applications of Satisfiability Testing – SAT 2010

Keywords

Editors and Affiliations

  • Technion, Technion City, Haifa, Israel

    Ofer Strichman

  • Vienna University of Technology, Vienna, Austria

    Stefan Szeider

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation