Abstract is missing.
- A Two-Watched Literal Scheme for First-Order LogicMartin Bromberger, Tobias Gehl, Lorenz Leutgeb, Christoph Weidenbach. [doi]
- The Vampire Approach to Induction (short paper)Márton Hajdú, Laura Kovács, Michael Rawson, Andrei Voronkov. [doi]
- The Isabelle Community BenchmarkFabian Huch, Vincent Bode. [doi]
- Reuse of Introduced Symbols in Automatic Theorem Provers (short paper)Michael Rawson, Martin Suda 0001, Petra Hozzová, Giles Reger. [doi]
- Exploring Representation of Horn clauses using GNNsChencheng Liang, Philipp Rümmer, Marc Brockschmidt. [doi]
- Automated Reasoning in Non-classical Logics in the TPTP WorldAlexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller. [doi]
- On SGGS and Horn ClausesMaria Paola Bonacina, Sarah Winkler. [doi]
- Exploring Partial Models with SCLMartin Bromberger, Simon Schwarz, Christoph Weidenbach. [doi]
- QuAPI: Adding Assumptions to Non-Assuming SAT & QBF SolversMaximilian Heisinger, Martina Seidl, Armin Biere. [doi]
- Lazy Paramodulation in PracticeGrzegorz Prusak, Cezary Kaliszyk. [doi]
- Optimal Strategy Schedules for EveryoneHans-Jörg Schurr. [doi]
- Empirical Properties of Term Orderings for SuperpositionStephan Schulz 0001. [doi]
- An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning (short paper)Alexander Steen. [doi]
- Generating Compressed Combinatory Proof Structures: An Approach to Automated First-Order Theorem ProvingChristoph Wernhard. [doi]