- Christoph Wernhard:
The PIE Environment for First-Order-Based Proving, Interpolating and Eliminating. PAAR@IJCAR 2016: 125-138 - Pascal Fontaine, Stephan Schulz, Josef Urban:
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. CEUR Workshop Proceedings 1635, CEUR-WS.org 2016 [contents] - 2015
- Stephan Schulz, Leonardo de Moura, Boris Konev:
4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014. EPiC Series in Computing 31, EasyChair 2015 [contents] - 2014
- Negin Arhami, Geoff Sutcliffe:
The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. PAAR@IJCAR 2014: 2-11 - Joshua Bax:
A Model Guided Instantiation Heuristic for the Superposition Calculus with Theories. PAAR@IJCAR 2014: 12-24 - Maria Paola Bonacina, David A. Plaisted:
SGGS Theorem Proving: an Exposition. PAAR@IJCAR 2014: 25-38 - Simon Cruanes
:
Logtk: A Logic ToolKit for Automated Reasoning and its Implementation. PAAR@IJCAR 2014: 39-49 - Thibault Gauthier, Cezary Kaliszyk, Chantal Keller, Michael Norrish:
Beagle as a HOL4 external ATP method. PAAR@IJCAR 2014: 50-59 - Cezary Kaliszyk, Josef Urban, Jirí Vyskocil:
Machine Learner for Automated Reasoning 0.4 and 0.5. PAAR@IJCAR 2014: 60-66 - Muhammad Nassar, Geoff Sutcliffe:
Automated Theorem Proving using the TPTP Process Instruction Language. PAAR@IJCAR 2014: 67-75 - Salman Saghafi, Daniel J. Dougherty:
Razor: Provenance and Exploration in Model-Finding. PAAR@IJCAR 2014: 76-93 - Sophie Tourret, Mnacho Echenim, Nicolas Peltier:
A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses. PAAR@IJCAR 2014: 94-104 - Uwe Waldmann:
Hierarchic Superposition Revisited. PAAR@IJCAR 2014: 1 - Daniel Wand:
Polymorphic+Typeclass Superposition. PAAR@IJCAR 2014: 105-119 - 2013
- Pascal Fontaine, Renate A. Schmidt, Stephan Schulz:
Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012, Manchester, UK, June 30 - July 1, 2012. EPiC Series in Computing 21, EasyChair 2013 [contents] - 2012
- Jesse Alama:
Escape to Mizar from ATPs. PAAR@IJCAR 2012: 3-11 - Christoph Benzmüller, Jens Otten, Thomas Raths:
Implementing Different Proof Calculi for First-order Modal Logics. PAAR@IJCAR 2012: 12-18 - Armin Biere:
Practical Aspects of SAT Solving. PAAR@IJCAR 2012: 1 - Jason Crampton, Michael Huth, Jim Huan-Pu Kuo:
Authorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning. PAAR@IJCAR 2012: 29-42 - Rajeev Goré, Jimmy Thomson:
BDD-based automated reasoning in propositional non-classical logics: progress report. PAAR@IJCAR 2012: 43-57 - Md Zahidul Islam, Wendy MacCaull:
A One-Pass Tableau-Based Workflow Verification Framework. PAAR@IJCAR 2012: 58-71 - Cezary Kaliszyk, Josef Urban:
Initial Experiments with External Provers and Premise Selection on HOL Light Corpora. PAAR@IJCAR 2012: 72-81 - Daniel Kühlwein, Josef Urban:
Learning from Multiple Proofs: First Experiments. PAAR@IJCAR 2012: 82-94 - Alexander Leitsch, Tomer Libal:
A Resolution Calculus for Second-order Logic with Eager Unification. PAAR@IJCAR 2012: 95 - Tianyi Liang, Cesare Tinelli:
Exploiting parallelism in the ME calculus. PAAR@IJCAR 2012: 96-108 - Stefan Minica, Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky:
Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics. PAAR@IJCAR 2012: 109-123 - Anthony Monnet, Roger Villemaire:
CDCL with Less Destructive Backtracking through Partial Ordering. PAAR@IJCAR 2012: 124-138 - Boris Motik:
Building an Efficient OWL 2 DL Reasoner. PAAR@IJCAR 2012: 2 - Diego Caminha Barbosa De Oliveira, David Monniaux:
Experiments on the feasibility of using a floating-point simplex in an SMT solver. PAAR@IJCAR 2012: 19-28 - Martina Seidl, Florian Lonsing, Armin Biere:
qbf2epr: A Tool for Generating EPR Formulas from QBF. PAAR@IJCAR 2012: 139-148
