• Education & Business Solutions Opens in new window

Theory and Applications of Satisfiability Testing - SAT 2009 1st Edition
12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

Cover image: Theory and Applications of Satisfiability Testing - SAT 2009 1st edition 9783642027765
  • Author(s)
    Oliver Kullmann
  • Publisher
    Springer
  • Format
    Fixed Layout
  • Print ISBN 9783642027765, 3642027768
  • eText ISBN 9783642027772, 3642027776
  • Edition
    1st
  • Copyright
    2009
eTextbook License
‌‌
R367.70 ZAR
‌

  • Study Tools

    Built-in study tools like highlights and more

  • Read Aloud

    Listen and follow along as Bookshelf reads to you

  • Offline Access

    Access your eTextbook anytime and anywhere

  • Global Search

    Search across book content, figures, and your workbook

Learn More

VitalSource 25+ Years of Digital Transformation

  • 4500 Institutions

  • 230+ Countries & Territories

  • 10K+ Publishers

  • 18M+ Active Users

Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings 1st Edition is written by Oliver Kullmann and published by Springer. The Digital and eTextbook ISBNs for Theory and Applications of Satisfiability Testing - SAT 2009 are 9783642027772, 3642027776 and the print ISBNs are 9783642027765, 3642027768. Save up to 80% versus print by going digital with VitalSource.

Back to Top