default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th PAAR 2022: Haifa, Israel
- Boris Konev, Claudia Schon, Alexander Steen:
Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022. CEUR Workshop Proceedings 3201, CEUR-WS.org 2022
Session 1
- Maximilian Heisinger, Martina Seidl, Armin Biere:
QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers.
Session 2
- Martin Bromberger, Tobias Gehl, Lorenz Leutgeb, Christoph Weidenbach:
A Two-Watched Literal Scheme for First-Order Logic. - Grzegorz Prusak, Cezary Kaliszyk:
Lazy Paramodulation in Practice. - Stephan Schulz:
Empirical Properties of Term Orderings for Superposition.
Session 3
- Martin Bromberger, Simon Schwarz, Christoph Weidenbach:
Exploring Partial Models with SCL. - Maria Paola Bonacina, Sarah Winkler:
On SGGS and Horn Clauses. - Chencheng Liang, Philipp Rümmer, Marc Brockschmidt:
Exploring Representation of Horn clauses using GNNs.
Session 4
- Hans-Jörg Schurr:
Optimal Strategy Schedules for Everyone. - Márton Hajdú, Laura Kovács, Michael Rawson, Andrei Voronkov:
The Vampire Approach to Induction (short paper). - Michael Rawson, Martin Suda, Petra Hozzová, Giles Reger:
Reuse of Introduced Symbols in Automatic Theorem Provers (short paper).
Session 5
- Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller:
Automated Reasoning in Non-classical Logics in the TPTP World.
Session 6
- Christoph Wernhard:
Generating Compressed Combinatory Proof Structures: An Approach to Automated First-Order Theorem Proving. - Alexander Steen:
An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning (short paper). - Fabian Huch, Vincent Bode:
The Isabelle Community Benchmark.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
