Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2017

Automated Deduction – CADE 26

26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings

Editors:

  1. Leonardo de Moura

    1. Microsoft Research, Redmond, USA

    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 10395)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): CADE: International Conference on Automated Deduction

Conference proceedings info: CADE 2017.

Sections

Buy it now

eBook USD 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 89.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

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

Table of contents (34 papers)

  1. Front Matter

    Pages I-XI
    PDF

  3. Towards Logic-Based Verification of JavaScript Programs

    • José Fragoso Santos, Philippa Gardner, Petar Maksimović, Daiva Naudžiūnienė
    Pages 8-25

  4. Formal Verification of Financial Algorithms

    • Grant Olney Passmore, Denis Ignatovich
    Pages 26-41

  5. Satisfiability Modulo Theories and Assignments

    • Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar
    Pages 42-59

  6. Notions of Knowledge in Combinations of Theories Sharing Constructors

    • Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
    Pages 60-76

  8. Satisfiability Modulo Transcendental Functions via Incremental Linearization

    • Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
    Pages 95-113

  9. Satisfiability Modulo Bounded Checking

    • Simon Cruanes
    Pages 114-129

  10. Short Proofs Without New Variables

    • Marijn J. H. Heule, Benjamin Kiesl, Armin Biere
    Pages 130-147

  11. Relational Constraint Solving in SMT

    • Baoluo Meng, Andrew Reynolds, Cesare Tinelli, Clark Barrett
    Pages 148-165

  12. Decision Procedures for Theories of Sets with Measures

    • Markus Bender, Viorica Sofronie-Stokkermans
    Pages 166-184

  13. A Decision Procedure for Restricted Intensional Sets

    • Maximiliano Cristiá, Gianfranco Rossi
    Pages 185-201

  15. Efficient Certified RAT Verification

    • Luís Cruz-Filipe, Marijn J. H. Heule, Warren A. Hunt Jr., Matt Kaufmann, Peter Schneider-Kamp
    Pages 220-236

  17. Translating Between Implicit and Explicit Versions of Proof

    • Roberto Blanco, Zakaria Chihani, Dale Miller
    Pages 255-273

  18. A Unifying Principle for Clause Elimination in First-Order Logic

    • Benjamin Kiesl, Martin Suda
    Pages 274-290

  19. Splitting Proofs for Interpolation

    • Bernhard Gleiss, Laura Kovács, Martin Suda
    Pages 291-309

  20. Detecting Inconsistencies in Large First-Order Knowledge Bases

    • Stephan Schulz, Geoff Sutcliffe, Josef Urban, Adam Pease
    Pages 310-325
Back to top

Other Volumes

  1. Automated Deduction – CADE 26

Back to top

About this book

This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017.
The 26 full papers and 5 system descriptions presented were carefully reviewed  and selected from 69 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.

The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.

 

Back to top

Keywords

Back to top

Editors and Affiliations

  • Microsoft Research, Redmond, USA

    Leonardo de Moura

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 89.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

Search

Navigation