Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • Open Access
  • © 2022

Automated Reasoning

11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

Editors:

  1. Jasmin Blanchette

    1. Vrije Universiteit Amsterdam, Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Laura Kovács

    1. Vienna University of Technology, Wien, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Dirk Pattinson

    1. Australian National University, Canberra, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • This book is open access, which means that you have free and unlimited access

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13385)

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

Conference series link(s): IJCAR: International Joint Conference on Automated Reasoning

Conference proceedings info: IJCAR 2022.

Sections

Buy it now

Softcover Book USD 49.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

Table of contents (43 papers)

  1. Front Matter

    Pages i-xv
    PDF

  2. Invited Talks

    1. Front Matter

      Pages 1-1
      PDF

    2. Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts

      • Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Clara Rodríguez-Núñez, Albert Rubio
      Pages 3-7Open Access

  3. Satisfiability, SMT Solving, and Arithmetic

    1. Front Matter

      Pages 13-13
      PDF

    2. Flexible Proof Production in an Industrial-Strength SMT Solver

      • Haniel Barbosa, Andrew Reynolds, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli et al.
      Pages 15-35Open Access

    3. CTL\(^*\) Model Checking for Data-Aware Dynamic Systems with Arithmetic

      • Paolo Felli, Marco Montali, Sarah Winkler
      Pages 36-56Open Access

    4. SAT-Based Proof Search in Intermediate Propositional Logics

      • Camillo Fiorentini, Mauro Ferrari
      Pages 57-74Open Access

    5. Clause Redundancy and Preprocessing in Maximum Satisfiability

      • Hannes Ihalainen, Jeremias Berg, Matti Järvisalo
      Pages 75-94Open Access

    6. Cooperating Techniques for Solving Nonlinear Real Arithmetic in the cvc5 SMT Solver (System Description)

      • Gereon Kremer, Andrew Reynolds, Clark Barrett, Cesare Tinelli
      Pages 95-105Open Access

    7. Preprocessing of Propagation Redundant Clauses

      • Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant
      Pages 106-124Open Access

    8. Reasoning About Vectors Using an SMT Theory of Sequences

      • Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David Dill, Wolfgang Grieskamp et al.
      Pages 125-143Open Access

  4. Calculi and Orderings

    1. Front Matter

      Pages 145-145
      PDF

    2. An Efficient Subsumption Test Pipeline for BS(LRA) Clauses

      • Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach
      Pages 147-168Open Access

    3. Ground Joinability and Connectedness in the Superposition Calculus

      • André Duarte, Konstantin Korovin
      Pages 169-187Open Access

    4. Connection-Minimal Abduction in \(\mathcal {EL}\) via Translation to FOL

      • Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
      Pages 188-207Open Access

    5. Semantic Relevance

      • Fajar Haifani, Christoph Weidenbach
      Pages 208-227Open Access

    6. SCL(EQ): SCL for First-Order Logic with Equality

      • Hendrik Leidinger, Christoph Weidenbach
      Pages 228-247Open Access

  5. Knowledge Representation and Justification

    1. Front Matter

      Pages 269-269
      PDF
Back to top

Other Volumes

  1. Automated Reasoning

Back to top

About this book

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022.  


The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems.

This is an open access book.

Back to top

Keywords

  • artificial intelligence
  • automata theory
  • computer hardware
  • computer networks
  • computer programming
  • computer systems
  • embedded systems
  • formal languages
  • formal logic
  • logic programming
  • network protocols
  • semantics
  • software architecture
  • software design
  • software engineering
  • theoretical computer science
Back to top

Editors and Affiliations

  • Vrije Universiteit Amsterdam, Amsterdam, The Netherlands

    Jasmin Blanchette

  • Vienna University of Technology, Wien, Austria

    Laura Kovács

  • Australian National University, Canberra, Australia

    Dirk Pattinson

Back to top

Bibliographic Information

Back to top

Buy it now

Softcover Book USD 49.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