| 2022 | Synthetic Tableaux: Minimal Tableau Search Heuristics. | Michal Sochanski, Dorota Leszczynska-Jasion, Szymon Chlebowski, Agata Tomczyk, Marcin Jukiewicz |
| 2022 | Reasoning About Vectors Using an SMT Theory of Sequences. | Ying Sheng, Andres Ntzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli |
| 2022 | Advances and Challenges in the Development and Application of Forgetting Tools (invited talk abstract). | Renate A. Schmidt |
| 2022 | Preprocessing of Propagation Redundant Clauses. | Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant |
| 2022 | Rensets and Renaming-Based Recursion for Syntax with Bindings. | Andrei Popescu |
| 2022 | Guiding an Automated Theorem Prover with Neural Rewriting. | Jelle Piepenbrock, Tom Heskes, Mikols Janota, Josef Urban |
| 2022 | Automated Verification of Deontic Correspondences in Isabelle/HOL - First Results. | Xavier Parent, Christoph Benzmller |
| 2022 | Advancing Automated Theorem Proving for the Modal Logics D and S5. | Jens Otten |
| 2022 | (Re)moving Quantifiers to Simplify Parameterised Boolean Equation Systems. | Thomas Neele |
| 2022 | Local Reductions for the Modal Cube. | Cludia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon |
| 2022 | Formula Simplification via Invariance Detection by Algebraically Indexed Types. | Takuya Matsuzaki, Tomohiro Fujita |
| 2022 | Bayesian Ranking for Strategy Scheduling in Automated Theorem Provers. | Chaitanya Mangla, Sean B. Holden, Lawrence C. Paulson |
| 2022 | Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops. | Nils Lommen, Fabian Meyer, Jrgen Giesl |
| 2022 | Do Lawyers Use Automated Reasoning? (invited paper). | Tomer Libal |
| 2022 | SCL(EQ): SCL for First-Order Logic with Equality. | Hendrik Leidinger, Christoph Weidenbach |
| 2022 | Effective Semantics for the Modal Logics K and KT via Non-deterministic Matrices. | Ori Lahav, Yoni Zohar |
| 2022 | A Framework for Approximate Generalization in Quantitative Theories. | Temur Kutsia, Cleo Pau |
| 2022 | Cooperating Techniques for Solving Nonlinear Real Arithmetic in the cvc5 SMT Solver (System Description). | Gereon Kremer, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli |
| 2022 | Intuitionistic Derivability in Anderson's Variant of the Ontological Argument. | Annika Kanckos |
| 2022 | Leśniewski's Ontology - Proof-Theoretic Characterization. | Andrzej Indrzejczak |
| 2022 | Clause Redundancy and Preprocessing in Maximum Satisfiability. | Hannes Ihalainen, Jeremias Berg, Matti Jrvisalo |
| 2022 | Binary Codes that Do Not Preserve Primitivity. | Stepan Holub, Martin Raska, Stepn Starosta |
| 2022 | Semantic Relevance. | Fajar Haifani, Christoph Weidenbach |
| 2022 | Connection-Minimal Abduction in | Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach |
| 2022 | Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics. | Vitor Greati, Joo Marcos |