|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 30 publication records. Showing 30 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alexander Steen, Max Wisniewski, Christoph Benzmüller |
Going Polymorphic - TH1 Reasoning for Leo-III.  |
IWIL@LPAR  |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Giles Reger, Martin Suda 0001 |
Set of Support for Theory Reasoning. |
IWIL@LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller |
Capability Discovery for Automated Reasoning Systems. |
IWIL@LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Julio César López-Hernández, Konstantin Korovin |
Towards an Abstraction-Refinement Framework for Reasoning with Large Theories. |
IWIL@LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Konev, Stephan Schulz 0001, Laurent Simon (eds.) |
IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015 |
IWIL@LPAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Roberto Blanco, Tomer Libal, Dale Miller 0001 |
Defining the meaning of TPTP formatted proofs. |
IWIL@LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Chu Min Li, Fan Xiao, Ruchu Xu |
On Reducing Clause DataBase in Glucose. |
IWIL@LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marijn Heule, Armin Biere |
Clausal Proof Compression. |
IWIL@LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Baudouin Le Charlier, Mêton Mêton Atindehou |
A Method to Simplify Expressions: Intuition and Preliminary Experimental Results. |
IWIL@LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Protzenko |
Functional Pearl: the Proof Search Monad. |
IWIL@LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoff Sutcliffe, Stephan Schulz 0001 |
The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps. |
IWIL@LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Bury, Raphaël Cauderlier, Pierre Halmagrand |
Implementing Polymorphism in Zenon. |
IWIL@LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezary Kaliszyk, Josef Urban, Jirí Vyskocil |
Improving Statistical Linguistic Algorithms for Parsing Mathematics. |
IWIL@LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Urban, Robert Veroff |
Experiments with State-of-the-art Automated Provers on Problems in Tarskian Geometry. |
IWIL@LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Rustan M. Leino |
Well-founded Functions and Extreme Predicates in Dafny: A Tutorial. |
IWIL@LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Waqar Ahmad, Osman Hasan, Sofiène Tahar |
Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving. |
IWIL@LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantin Korovin, Stephan Schulz 0001, Eugenia Ternovska (eds.) |
IWIL 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012 |
IWIL@LPAR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Philipp Rümmer |
Craig Interpolation for the Integers: Results, Implementation, and Experiences. |
IWIL@LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoff Sutcliffe, Stephan Schulz 0001, Eugenia Ternovska (eds.) |
The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011 |
IWIL@LPAR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Nikolaj S. Bjørner |
Engineering Theories with Z3. |
IWIL@LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nik Sultana, Christoph Benzmüller |
Understanding LEO-II's proofs. |
IWIL@LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bjarne Holen, Dag Hovland, Martin Giese |
Efficient Rule-Matching for Hyper-Tableaux. |
IWIL@LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Otten |
Implementing Connection Calculi for First-order Modal Logics. |
IWIL@LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lawrence C. Paulson, Jasmin Christian Blanchette |
Three years of experience with Sledgehammer, a Practical Link Between Automatic and Interactive Theorem Provers. |
IWIL@LPAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Zankl, Martin Korp |
On Implementing Modular Complexity Analysis. |
IWIL@LPAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | L. Yohanes Stefanus, Ario Santoso |
A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic. |
IWIL@LPAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesse Alama |
Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools. |
IWIL@LPAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Fiorino |
Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge. |
IWIL@LPAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Klinov, Bijan Parsia |
Implementing an Efficient SAT Solver for a Probabilistic Description Logic. |
IWIL@LPAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Fuhs, Peter Schneider-Kamp |
Optimizing the AES S-Box using SAT. |
IWIL@LPAR |
2010 |
DBLP BibTeX RDF |
|
Displaying result #1 - #30 of 30 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license