Theoretical Computer Science and General Issues

Theory and Applications of Satisfiability Testing - SAT 2006

9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

Editors: Biere, Armin, Gomes, Carla P. (Eds.)

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-37207-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-37206-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (39 chapters)

  • From Propositional Satisfiability to Satisfiability Modulo Theories

    Sheini, Hossein M. (et al.)

    Pages 1-9

  • CSPs: Adding Structure to SAT

    Bacchus, Fahiem

    Pages 10-10

  • Complexity of Semialgebraic Proofs with Restricted Degree of Falsity

    Kojevnikov, Arist (et al.)

    Pages 11-21

  • Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel

    Kullmann, Oliver (et al.)

    Pages 22-35

  • A Scalable Algorithm for Minimal Unsatisfiable Core Extraction

    Dershowitz, Nachum (et al.)

    Pages 36-41

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-37207-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-37206-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Theory and Applications of Satisfiability Testing - SAT 2006
Book Subtitle
9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
Editors
  • Armin Biere
  • Carla P. Gomes
Series Title
Theoretical Computer Science and General Issues
Series Volume
4121
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-37207-3
DOI
10.1007/11814948
Softcover ISBN
978-3-540-37206-6
Edition Number
1
Number of Pages
XII, 440
Topics