|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: Proceedings of the Third International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2021, Virtual Event, July 16, 2021., pp. 1-12, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | David A. Plaisted |
Relevance and Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: Proceedings of the Third International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2021, Virtual Event, July 16, 2021., pp. 1-4, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | David A. Plaisted |
Search Spaces for Theorem Proving Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: Proceedings of the Third International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2021, Virtual Event, July 16, 2021., pp. 1-3, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: Proceedings of the Third International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2021, Virtual Event, July 16, 2021., pp. 1-5, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Geoff Sutcliffe, David A. Plaisted |
Management of the TPTP Problem Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: Proceedings of the Third International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2021, Virtual Event, July 16, 2021., pp. 1, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Michael Rawson 0001, Giles Reger |
On Evaluating Theorem Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: Proceedings of the Third International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2021, Virtual Event, July 16, 2021., pp. 1-10, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Claudia Schon, Sophie Siebert, Frieder Stolzenburg |
Using ConceptNet to Teach Common Sense to an Automated Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2019, Natal, Brazil, August 26, 2019., pp. 19-24, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Naveen Sundar Govindarajulu, Selmer Bringsjord, Matthew Peveler |
On Quantified Modal Theorem Proving for Modeling Ethics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2019, Natal, Brazil, August 26, 2019., pp. 43-49, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Giles Reger |
Boldly Going Where No Prover Has Gone Before. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2019, Natal, Brazil, August 26, 2019., pp. 37-41, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sarah Winkler, Georg Moser |
Smarter Features, Simpler Learning? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2019, Natal, Brazil, August 26, 2019., pp. 25-31, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Weidenbach |
The Challenge of Unifying Semantic and Syntactic Inference Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2019, Natal, Brazil, August 26, 2019., pp. 5-10, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marijn Heule, Benjamin Kiesl |
The Potential of Interference-Based Proof Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, pp. 51-54, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Maria Paola Bonacina |
Automated Reasoning for Explainable Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, pp. 24-28, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, pp. 64-68, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Reynolds 0001 |
Challenges for Fast Synthesis Procedures in SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, pp. 69-75, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Giles Reger, Dmitriy Traytel |
A Report of ARCADE 2017. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, pp. 1-5, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Schulz 0001 |
We know (nearly) nothing!l But can we learn? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, pp. 29-32, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Josef Urban |
AI at CADE/IJCAR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, pp. 33-36, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bertram Felgenhauer |
Beyond DRAT: Challenges in Certifying UNSAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, pp. 46-50, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![EasyChair The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Giles Reger, Martin Suda 0001 |
Checkable Proofs for First-Order Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, pp. 55-63, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, pp. 6-10, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Reiner Hähnle, Marieke Huisman |
24 Challenges in Deductive Software Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, pp. 37-41, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, pp. 16-23, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Simon Cruanes |
Making Automatic Theorem Provers more Versatile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, pp. 11-15, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Weidenbach |
Do Portfolio Solvers Harm? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, pp. 76-81, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | J Strother Moore, Marijn J. H. Heule |
Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCADE@CADE ![In: ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, pp. 42-45, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|