Theoretical Computer Science and General Issues

Theory and Applications of Satisfiability Testing - SAT 2010

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

Editors: Strichman, Ofer, Szeider, Stefan (Eds.)

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-642-14186-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-642-14185-0
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.

Table of contents (37 chapters)

  • The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference

    Naveh, Yehuda

    Pages 1-7

  • Exact Algorithms and Complexity

    Paturi, Ramamohan

    Pages 8-9

  • Improving Stochastic Local Search for SAT with a New Probability Distribution

    Balint, Adrian (et al.)

    Pages 10-15

  • Lower Bounds for Width-Restricted Clause Learning on Small Width Formulas

    Ben-Sasson, Eli (et al.)

    Pages 16-29

  • Proof Complexity of Propositional Default Logic

    Beyersdorff, Olaf (et al.)

    Pages 30-43

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-642-14186-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-642-14185-0
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Theory and Applications of Satisfiability Testing - SAT 2010
Book Subtitle
13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
Editors
  • Ofer Strichman
  • Stefan Szeider
Series Title
Theoretical Computer Science and General Issues
Series Volume
6175
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Heidelberg Berlin
eBook ISBN
978-3-642-14186-7
DOI
10.1007/978-3-642-14186-7
Softcover ISBN
978-3-642-14185-0
Edition Number
1
Number of Pages
XIII, 400
Number of Illustrations and Tables
74 b/w illustrations
Topics