![](https://dblp.uni-trier.de/img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
4th PAAR 2014: Vienna, Austria
- 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 - Uwe Waldmann:
Hierarchic Superposition Revisited. 1 - Negin Arhami, Geoff Sutcliffe:
The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. 2-11 - Joshua Bax:
A Model Guided Instantiation Heuristic for the Superposition Calculus with Theories. 12-24 - Maria Paola Bonacina, David A. Plaisted:
SGGS Theorem Proving: an Exposition. 25-38 - Simon Cruanes
:
Logtk: A Logic ToolKit for Automated Reasoning and its Implementation. 39-49 - Thibault Gauthier, Cezary Kaliszyk, Chantal Keller, Michael Norrish:
Beagle as a HOL4 external ATP method. 50-59 - Cezary Kaliszyk, Josef Urban, Jirí Vyskocil:
Machine Learner for Automated Reasoning 0.4 and 0.5. 60-66 - Muhammad Nassar, Geoff Sutcliffe:
Automated Theorem Proving using the TPTP Process Instruction Language. 67-75 - Salman Saghafi, Daniel J. Dougherty:
Razor: Provenance and Exploration in Model-Finding. 76-93 - Sophie Tourret, Mnacho Echenim, Nicolas Peltier:
A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses. 94-104 - Daniel Wand:
Polymorphic+Typeclass Superposition. 105-119
![](https://dblp.uni-trier.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.