More than 1,900 Springer Protocols eBooks at just $9.99 each! Get yours today>>

Lecture Notes in Artificial Intelligence

Automated Reasoning

8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

Editors: Olivetti, Nicola, Tiwari, Ashish (Eds.)

Buy this book

eBook $84.99
price for USA (gross)
  • ISBN 978-3-319-40229-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $107.00
price for USA
  • ISBN 978-3-319-40228-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods).

The 26 revised full research papers and 9 system descriptions presented together with 4 invited talks were carefully reviewed and selected from 79 submissions. The papers have been organized in topical sections on satisfiability of Boolean formulas, satisfiability modulo theory, rewriting, arithmetic reasoning and mechanizing mathematics, first-order logic and proof theory, first-order theorem proving, higher-order theorem proving, modal and temporal logics, non-classical logics, and verification.

Table of contents (38 chapters)

  • A Logical Framework for Developing and Mechanizing Set Theories

    Avron, Arnon

    Pages 3-8

  • Programming by Examples: Applications, Algorithms, and Ambiguity Resolution

    Gulwani, Sumit

    Pages 9-14

  • Logic & Proofs for Cyber-Physical Systems

    Platzer, André

    Pages 15-21

  • A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality

    Blanchette, Jasmin Christian (et al.)

    Pages 25-44

  • Super-Blocked Clauses

    Kiesl, Benjamin (et al.)

    Pages 45-61

Buy this book

eBook $84.99
price for USA (gross)
  • ISBN 978-3-319-40229-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $107.00
price for USA
  • ISBN 978-3-319-40228-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automated Reasoning
Book Subtitle
8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings
Editors
  • Nicola Olivetti
  • Ashish Tiwari
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
9706
Copyright
2016
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-40229-1
DOI
10.1007/978-3-319-40229-1
Softcover ISBN
978-3-319-40228-4
Edition Number
1
Number of Pages
XX, 580
Number of Illustrations and Tables
101 b/w illustrations
Topics