![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
8th 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.
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.