Accepted Papers
- Maria Paola Bonacina and Sarah Winkler On SGGS and Horn Clauses
- Martin Bromberger, Tobias Gehl, Lorenz Leutgeb and Christoph Weidenbach A Two-Watched Literal Scheme for First-Order Logic
- Martin Bromberger, Simon Schwarz and Christoph Weidenbach Exploring Partial Models with SCL
- Marton Hajdu, Laura Kovacs, Michael Rawson and Andrei Voronkov The Vampire Approach to Induction
- Maximilian Heisinger, Martina Seidl and Armin Biere QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers
- Fabian Huch and Vincent Bode The Isabelle Community Benchmark
- Chencheng Liang, Philipp Rümmer and Marc Brockschmidt Exploring Representation of Horn clauses using GNNs
- Grzegorz Prusak and Cezary Kaliszyk Lazy Paramodulation in Practice
- Michael Rawson, Martin Suda, Petra Hozzová and Giles Reger Reuse of Introduced Symbols in Automatic Theorem Provers
- Stephan Schulz Empirical Properties of Term Orderings for Superposition
- Hans-Jörg Schurr Optimal Strategy Schedules for Everyone
- Alexander Steen An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning
- Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe and Christoph Benzmüller Automated Reasoning in Non-classical Logics in the TPTP World
- Christoph Wernhard Generating Compressed Combinatory Proof Structures: An Approach to Automated First-Order Theorem Proving