ARCADE@CADE

Keyphrases

Publications

2021

2019

volume 311, 2019

Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2019, Natal, Brazil, August 26, 2019. ARCADE@CADE 311 (2019)

2017

Marijn Heule, Benjamin Kiesl
The Potential of Interference-Based Proof Systems. ARCADE@CADE (2017)
Maria Paola Bonacina
Automated Reasoning for Explainable Artificial Intelligence. ARCADE@CADE (2017)
Gopal Gupta, Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin
A Case for Query-driven Predicate Answer Set Programming. ARCADE@CADE (2017)
Andrew Reynolds
Challenges for Fast Synthesis Procedures in SMT. ARCADE@CADE (2017)
Giles Reger, Dmitriy Traytel
A Report of ARCADE 2017. ARCADE@CADE (2017)
Stephan Schulz
We know (nearly) nothing!l But can we learn? ARCADE@CADE (2017)
Josef Urban
AI at CADE/IJCAR. ARCADE@CADE (2017)
Bertram Felgenhauer
Beyond DRAT: Challenges in Certifying UNSAT. ARCADE@CADE (2017)
Giles Reger, Martin Suda
Checkable Proofs for First-Order Theorem Proving. ARCADE@CADE (2017)
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, 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)
Reiner Hähnle, Marieke Huisman
24 Challenges in Deductive Software Verification. ARCADE@CADE (2017)
Jasmin Christian Blanchette, Pascal Fontaine, Stephan Schulz, Uwe Waldmann
Towards Strong Higher-Order Automation for Fast Interactive Verification. ARCADE@CADE (2017)
Simon Cruanes
Making Automatic Theorem Provers more Versatile. ARCADE@CADE (2017)
Christoph Weidenbach
Do Portfolio Solvers Harm? ARCADE@CADE (2017)
J. Strother Moore, Marijn J. H. Heule
Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions. ARCADE@CADE (2017)

volume 51, 2017

ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017 ARCADE@CADE 51 (2017)