Skip to main content
  • Conference proceedings
  • Open Access
  • © 2022

Automated Reasoning

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

  • 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

  • 6415 Accesses

Conference proceedings info: IJCAR 2022.

Buying options

Softcover Book USD 49.99
Price excludes VAT (USA)

Table of contents (43 papers)

  1. Front Matter

    Pages i-xv
  2. Invited Talks

    1. Front Matter

      Pages 1-1
    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
    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
    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}$$ 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

Other Volumes

  1. Automated Reasoning

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

About this book

This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via


  • 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

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

Bibliographic Information

Buying options

Softcover Book USD 49.99
Price excludes VAT (USA)