International Conference on Automated Deduction
CADE
A
CORE rank
CORE rank (raw)
A
Fields of research
Artificial Intelligence
Papers indexed
1,984
1980–2025
Papers per year
198099 peak2025
Most published authors
CADE papers
1,984 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2019 | Combining ProVerif and Automated Theorem Provers for Security Protocol Verification. | Di Long Li, Alwen Tiu |
| 2019 | Composing Proof Terms. | Christina Kohl, Aart Middeldorp |
| 2019 | Confluence by Critical Pair Analysis Revisited. | Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi |
| 2019 | Automata Terms in a Lazy WSkS Decision Procedure. | Vojtech Havlena, Luks Holk, Ondrej Lengl, Toms Vojnar |
| 2019 | Automatic Generation of Logical Models with AGES. | Ral Gutirrez, Salvador Lucas |
| 2019 | Computing Expected Runtimes for Constant Probability Programs. | Jrgen Giesl, Peter Giesl, Marcel Hark |
| 2019 | Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection. | Ulrich Furbach, Teresa Krmer, Claudia Schon |
| 2019 | SCL Clause Learning from Simple Models. | Alberto Fiori, Christoph Weidenbach |
| 2019 | Towards Physical Hybrid Systems. | Katherine Cordwell, Andr Platzer |
| 2019 | ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E. | Karel Chvalovsk, Jan Jakubuv, Martin Suda, Josef Urban |
| 2019 | NIL: Learning Nonlinear Interpolants. | Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan |
| 2019 | A Tableaux Calculus for Default Intuitionistic Logic. | Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro |
| 2019 | Model Completeness, Covers and Superposition. | Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
| 2019 | GRUNGE: A Grand Unified ATP Challenge. | Chad E. Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe, Josef Urban |
| 2019 | SPASS-SATT - A CDCL(LA) Solver. | Martin Bromberger, Mathias Fleury, Simon Schwarz, Christoph Weidenbach |
| 2019 | dL | Rose Bohrer, Manuel Fernndez, Andr Platzer |
| 2019 | Restricted Combinatory Unification. | Ahmed Bhayat, Giles Reger |
| 2019 | Superposition with Lambdas. | Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann |
| 2019 | Extending SMT Solvers to Higher-Order Logic. | Haniel Barbosa, Andrew Reynolds, Daniel El Ouraoui, Cesare Tinelli, Clark W. Barrett |
| 2019 | Unification Modulo Lists with Reverse Relation with Certain Word Equations. | Siva Anantharaman, Peter Hibbs, Paliath Narendran, Michal Rusinowitch |
| 2019 | A Formally Verified Abstract Account of Gdel's Incompleteness Theorems. | Andrei Popescu, Dmitriy Traytel |
| 2019 | Faster, Higher, Stronger: E 2.3. | Stephan Schulz, Simon Cruanes, Petar Vukmirovic |
| 2018 | FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics. | Yizheng Zhao, Renate A. Schmidt |
| 2018 | Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle. | Bohua Zhan, Maximilian P. L. Haslbeck |
| 2018 | Exploring Approximations for Floating-Point Arithmetic Using UppSAT. | Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rmmer |
251–275 of 1,984← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*AAAINational Conference of the American Association for Artificial Intelligence
- A*ICRAIEEE International Conference on Robotics and Automation
- AInterspeechInterspeech (combined EuroSpeech and ICSLP in 2000)
- AIROSIEEE/RSJ International Conference on Intelligent Robots and Systems
- A*ACLAssociation for Computational Linguistics
- A*IJCAIInternational Joint Conference on Artificial Intelligence
- A*EMNLPEmpirical Methods in Natural Language Processing
- AGECCOGenetic and Evolutionary Computations