| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Maximilian Heisinger, Martina Seidl, Armin Biere |
QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers.  |
PAAR@IJCAR  |
2022 |
DBLP BibTeX RDF |
|
| 1 | Hans-Jörg Schurr |
Optimal Strategy Schedules for Everyone. |
PAAR@IJCAR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Martin Bromberger, Tobias Gehl, Lorenz Leutgeb, Christoph Weidenbach |
A Two-Watched Literal Scheme for First-Order Logic. |
PAAR@IJCAR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Alexander Steen |
An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning (short paper). |
PAAR@IJCAR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Michael Rawson 0001, Martin Suda 0001, Petra Hozzová, Giles Reger |
Reuse of Introduced Symbols in Automatic Theorem Provers (short paper). |
PAAR@IJCAR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Grzegorz Prusak, Cezary Kaliszyk |
Lazy Paramodulation in Practice. |
PAAR@IJCAR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Márton Hajdú, Laura Kovács, Michael Rawson 0001, Andrei Voronkov |
The Vampire Approach to Induction (short paper). |
PAAR@IJCAR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Stephan Schulz 0001 |
Empirical Properties of Term Orderings for Superposition. |
PAAR@IJCAR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Martin Bromberger, Simon Schwarz, Christoph Weidenbach |
Exploring Partial Models with SCL. |
PAAR@IJCAR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Fabian Huch, Vincent Bode |
The Isabelle Community Benchmark. |
PAAR@IJCAR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Chencheng Liang, Philipp Rümmer, Marc Brockschmidt |
Exploring Representation of Horn clauses using GNNs. |
PAAR@IJCAR |
2022 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Christoph Wernhard |
Generating Compressed Combinatory Proof Structures: An Approach to Automated First-Order Theorem Proving. |
PAAR@IJCAR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Maria Paola Bonacina, Sarah Winkler |
On SGGS and Horn Clauses. |
PAAR@IJCAR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail |
On Checking Kripke Models for Modal Logic K. |
PAAR@IJCAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Mohamed Hassona, Stephan Schulz 0001 |
Deduction as a Service. |
PAAR@IJCAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Pascal Fontaine, Stephan Schulz 0001, Josef Urban (eds.) |
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 |
2016 |
DBLP BibTeX RDF |
|
| 1 | Tomer Libal, Alexander Steen |
Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers. |
PAAR@IJCAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Christoph Wernhard |
The PIE Environment for First-Order-Based Proving, Interpolating and Eliminating. |
PAAR@IJCAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Haniel Barbosa |
Efficient Instantiation Techniques in SMT (Work In Progress). |
PAAR@IJCAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Koen Claessen, Ann Lillieström |
Alternative Treatments of Common Binary Relations in First-order Automated Reasoning. |
PAAR@IJCAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Cezary Kaliszyk, Geoff Sutcliffe, Florian Rabe 0001 |
TH1: The TPTP Typed Higher-Order Form with Rank-1 Polymorphism. |
PAAR@IJCAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Jelena Vlasenko, Maryam Daryalal, Volker Haarslev, Brigitte Jaumard |
A Saturation-based Algebraic Reasoner for ELQ. |
PAAR@IJCAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Michael Färber 0002, Cezary Kaliszyk |
No Choice: Reconstruction of First-order ATP Proofs without Skolem Functions. |
PAAR@IJCAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Eugen Kuksa, Till Mossakowski |
Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub. |
PAAR@IJCAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Andreas Teucke, Christoph Weidenbach |
Ordered Resolution with Straight Dismatching Constraints. |
PAAR@IJCAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Stephan Schulz 0001, Leonardo de Moura 0001, Boris Konev (eds.) |
4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014 |
PAAR@IJCAR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Salman Saghafi, Daniel J. Dougherty |
Razor: Provenance and Exploration in Model-Finding. |
PAAR@IJCAR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thibault Gauthier, Cezary Kaliszyk, Chantal Keller, Michael Norrish |
Beagle as a HOL4 external ATP method. |
PAAR@IJCAR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Bax |
A Model Guided Instantiation Heuristic for the Superposition Calculus with Theories. |
PAAR@IJCAR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Paola Bonacina, David A. Plaisted |
SGGS Theorem Proving: an Exposition. |
PAAR@IJCAR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophie Tourret, Mnacho Echenim, Nicolas Peltier |
A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses. |
PAAR@IJCAR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezary Kaliszyk, Josef Urban, Jirí Vyskocil |
Machine Learner for Automated Reasoning 0.4 and 0.5. |
PAAR@IJCAR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Wand |
Polymorphic+Typeclass Superposition. |
PAAR@IJCAR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Cruanes |
Logtk: A Logic ToolKit for Automated Reasoning and its Implementation. |
PAAR@IJCAR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Waldmann |
Hierarchic Superposition Revisited. |
PAAR@IJCAR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Negin Arhami, Geoff Sutcliffe |
The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. |
PAAR@IJCAR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Nassar, Geoff Sutcliffe |
Automated Theorem Proving using the TPTP Process Instruction Language. |
PAAR@IJCAR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Fontaine, Renate A. Schmidt, Stephan Schulz 0001 (eds.) |
Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012, Manchester, UK, June 30 - July 1, 2012 |
PAAR@IJCAR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Tianyi Liang, Cesare Tinelli |
Exploiting parallelism in the ME calculus. |
PAAR@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Benzmüller, Jens Otten, Thomas Raths |
Implementing Different Proof Calculi for First-order Modal Logics. |
PAAR@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Goré, Jimmy Thomson 0001 |
BDD-based automated reasoning in propositional non-classical logics: progress report. |
PAAR@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Motik |
Building an Efficient OWL 2 DL Reasoner. |
PAAR@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi |
MetTeL2: Towards a Tableau Prover Generation Platform. |
PAAR@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Minica, Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky |
Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics. |
PAAR@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Crampton, Michael Huth 0001, Jim Huan-Pu Kuo |
Authorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning. |
PAAR@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Kühlwein, Josef Urban |
Learning from Multiple Proofs: First Experiments. |
PAAR@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Renate A. Schmidt, Stephan Schulz 0001, Boris Konev (eds.) |
Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010 |
PAAR@IJCAR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Armin Biere |
Practical Aspects of SAT Solving. |
PAAR@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Weidenbach, Patrick Wischnewski |
Satisfiability Checking and Query Answering for Large Ontologies. |
PAAR@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Leitsch, Tomer Libal |
A Resolution Calculus for Second-order Logic with Eager Unification. |
PAAR@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Monnet, Roger Villemaire |
CDCL with Less Destructive Backtracking through Partial Ordering. |
PAAR@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martina Seidl, Florian Lonsing, Armin Biere |
qbf2epr: A Tool for Generating EPR Formulas from QBF. |
PAAR@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezary Kaliszyk, Josef Urban |
Initial Experiments with External Provers and Premise Selection on HOL Light Corpora. |
PAAR@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Md Zahidul Islam 0001, Wendy MacCaull |
A One-Pass Tableau-Based Workflow Verification Framework. |
PAAR@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Caminha Barbosa De Oliveira, David Monniaux |
Experiments on the feasibility of using a floating-point simplex in an SMT solver. |
PAAR@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesse Alama |
Escape to Mizar from ATPs. |
PAAR@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura I. Meikle, Jacques D. Fleuriot |
Automation for Geometry in Isabelle/HOL. |
PAAR@IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal |
Trie Based Subsumption and Improving the pi-Trie Algorithm. |
PAAR@IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bouton, Diego Caminha, David Déharbe, Pascal Fontaine |
GridTPT: a distributed platform for Theorem Prover Testing. |
PAAR@IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Han-Hing Dang, Peter Höfner |
Automated Higher-order Reasoning about Quantales. |
PAAR@IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lawrence C. Paulson |
Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers. |
PAAR@IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Djihed Afifi, David E. Rydeheard, Howard Barringer |
Automated Reasoning in the Simulation of Evolvable Systems. |
PAAR@IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Benzmüller, Adam Pease |
Progress in Automating Higher-Order Ontology Reasoning. |
PAAR@IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Fiorino |
Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus. |
PAAR@IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ullrich Hustadt, Renate A. Schmidt |
A Comparison of Solvers for Propositional Dynamic Logic. |
PAAR@IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license