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