|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Geoff Sutcliffe |
The Expansion, Modernisation, and Future of the TPTP World.  |
ARCADE@CADE  |
2021 |
DBLP BibTeX RDF |
|
| 1 | David A. Plaisted |
Relevance and Abstraction. |
ARCADE@CADE |
2021 |
DBLP BibTeX RDF |
|
| 1 | Martin Suda 0001, Sarah Winkler (eds.) |
Proceedings of the Third International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2021, Virtual Event, July 16, 2021. |
ARCADE@CADE |
2021 |
DBLP BibTeX RDF |
|
| 1 | David A. Plaisted |
Search Spaces for Theorem Proving Strategies. |
ARCADE@CADE |
2021 |
DBLP BibTeX RDF |
|
| 1 | Erika Ábrahám, James H. Davenport, Matthew England 0001, Gereon Kremer |
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic. |
ARCADE@CADE |
2021 |
DBLP BibTeX RDF |
|
| 1 | Geoff Sutcliffe, David A. Plaisted |
Management of the TPTP Problem Set. |
ARCADE@CADE |
2021 |
DBLP BibTeX RDF |
|
| 1 | Michael Rawson 0001, Giles Reger |
On Evaluating Theorem Provers. |
ARCADE@CADE |
2021 |
DBLP BibTeX RDF |
|
| 1 | Claudia Schon, Sophie Siebert, Frieder Stolzenburg |
Using ConceptNet to Teach Common Sense to an Automated Theorem Prover. |
ARCADE@CADE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Naveen Sundar Govindarajulu, Selmer Bringsjord, Matthew Peveler |
On Quantified Modal Theorem Proving for Modeling Ethics. |
ARCADE@CADE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Giles Reger |
Boldly Going Where No Prover Has Gone Before. |
ARCADE@CADE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah Winkler, Georg Moser |
Smarter Features, Simpler Learning? |
ARCADE@CADE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Suda 0001, Sarah Winkler (eds.) |
Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2019, Natal, Brazil, August 26, 2019. |
ARCADE@CADE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Weidenbach |
The Challenge of Unifying Semantic and Syntactic Inference Restrictions. |
ARCADE@CADE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marijn Heule, Benjamin Kiesl |
The Potential of Interference-Based Proof Systems. |
ARCADE@CADE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Paola Bonacina |
Automated Reasoning for Explainable Artificial Intelligence. |
ARCADE@CADE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopal Gupta 0001, Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin |
A Case for Query-driven Predicate Answer Set Programming. |
ARCADE@CADE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Reynolds 0001 |
Challenges for Fast Synthesis Procedures in SMT. |
ARCADE@CADE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Giles Reger, Dmitriy Traytel |
A Report of ARCADE 2017. |
ARCADE@CADE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Schulz 0001 |
We know (nearly) nothing!l But can we learn? |
ARCADE@CADE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Urban |
AI at CADE/IJCAR. |
ARCADE@CADE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertram Felgenhauer |
Beyond DRAT: Challenges in Certifying UNSAT. |
ARCADE@CADE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Giles Reger, Dmitriy Traytel (eds.) |
ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017 |
ARCADE@CADE |
2017 |
DBLP BibTeX RDF |
|
| 1 | Giles Reger, Martin Suda 0001 |
Checkable Proofs for First-Order Theorem Proving. |
ARCADE@CADE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England 0001, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler |
SC-square: when Satisfiability Checking and Symbolic Computation join forces. |
ARCADE@CADE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Marieke Huisman |
24 Challenges in Deductive Software Verification. |
ARCADE@CADE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasmin Christian Blanchette, Pascal Fontaine, Stephan Schulz 0001, Uwe Waldmann |
Towards Strong Higher-Order Automation for Fast Interactive Verification. |
ARCADE@CADE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Cruanes |
Making Automatic Theorem Provers more Versatile. |
ARCADE@CADE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Weidenbach |
Do Portfolio Solvers Harm? |
ARCADE@CADE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | J Strother Moore, Marijn J. H. Heule |
Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions. |
ARCADE@CADE |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license