Our Cyber Weeks Sale has begun: Stock up on $7 Computer Science eBooks today!

Theoretical Computer Science and General Issues

Theory and Application of Satisfiability Testing

14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings

Editors: Sakallah, Karem A., Simon, Laurent (Eds.)

  • Up-to-date results
  • Fast track conference proceedings
  • State-of-the-art report
see more benefits

Buy this book

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

This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011.

The 25 revised full papers presented together with abstracts of 2 invited talks and 10 poster papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on complexity analysis, binary decision diagrams, theoretical analysis, extraction of minimal unsatisfiable subsets, SAT algorithms, quantified Boolean formulae, model enumeration and local search, and empirical evaluation.

Table of contents (37 chapters)

  • Connecting SAT Algorithms and Complexity Lower Bounds

    Williams, Ryan

    Pages 1-2

  • Concolic Testing and Constraint Satisfaction

    Sen, Koushik

    Pages 3-4

  • Parameterized Complexity of DPLL Search Procedures

    Beyersdorff, Olaf (et al.)

    Pages 5-18

  • Satisfiability Certificates Verifiable in Subexponential Time

    Dantsin, Evgeny (et al.)

    Pages 19-32

  • On Variables with Few Occurrences in Conjunctive Normal Forms

    Kullmann, Oliver (et al.)

    Pages 33-46

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-642-21581-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-642-21580-3
  • 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 Application of Satisfiability Testing
Book Subtitle
14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings
Editors
  • Karem A. Sakallah
  • Laurent Simon
Series Title
Theoretical Computer Science and General Issues
Series Volume
6695
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Berlin Heidelberg
eBook ISBN
978-3-642-21581-0
DOI
10.1007/978-3-642-21581-0
Softcover ISBN
978-3-642-21580-3
Edition Number
1
Number of Pages
XIII, 371
Number of Illustrations
35 b/w illustrations, 28 illustrations in colour
Topics