PAAR@IJCAR

Keyphrases

Publications

2022

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

2016

volume 1635, 2016

Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016. PAAR@IJCAR 1635 (2016)

volume 31, 2015

4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014 PAAR@IJCAR 31 (2015)

2014

volume 21, 2013

Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012, Manchester, UK, June 30 - July 1, 2012 PAAR@IJCAR 21 (2013)

2012

volume 9, 2012

Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010 PAAR@IJCAR 9 (2012)