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 |
|---|---|---|
| 2012 | The 2012 SMT Competition. | David R. Cok, Alberto Griggio, Roberto Bruttomesso, Morgan Deters |
| 2012 | Exotic Semi-Ring Constraints. | Michael Codish, Yoav Fekete, Carsten Fuhs, Jrgen Giesl, Johannes Waldmann |
| 2012 | HipSpec: Automating Inductive Proofs of Program Properties. | Koen Claessen, Moa Johansson, Dan Rosn, Nicholas Smallbone |
| 2012 | A Simple Complexity Measurement for Software Verification and Software Testing. | Zheng Cheng, Rosemary Monahan, James F. Power |
| 2012 | SPARQL Query Containment under RDFS Entailment Regime. | Melisachew Wudage Chekol, Jrme Euzenat, Pierre Genevs, Nabil Layada |
| 2012 | From Strong Amalgamability to Modularity of Quantifier-Free Interpolation. | Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise |
| 2012 | Broadening the Scope of SMT-COMP: the Application Track. | Roberto Bruttomesso, Alberto Griggio |
| 2012 | Satallax: An Automatic Higher-Order Prover. | Chad E. Brown |
| 2012 | Truthful Monadic Abstractions. | Taus Brock-Nannestad, Carsten Schrmann |
| 2012 | How Fuzzy Is My Fuzzy Description Logic? | Stefan Borgwardt, Felix Distel, Rafael Pealoza |
| 2012 | Automated Verification of Recursive Programs with Pointers. | Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot |
| 2012 | A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic. | Franois Bobot, Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, Assia Mahboubi, Alain Mebsout, Guillaume Melquiond |
| 2012 | Program Verification as Satisfiability Modulo Theories. | Nikolaj S. Bjrner, Kenneth L. McMillan, Andrey Rybalchenko |
| 2012 | SMT-LIB Sequences and Regular Expressions. | Nikolaj S. Bjrner, Vijay Ganesh, Raphal Michel, Margus Veanes |
| 2012 | Taking Satisfiability to the Next Level with Z3 - (Abstract). | Nikolaj S. Bjrner |
| 2012 | Practical Aspects of SAT Solving. | Armin Biere |
| 2012 | Practical Aspects of SAT Solving. | Armin Biere |
| 2012 | Implementing Different Proof Calculi for First-order Modal Logics. | Christoph Benzmller, Jens Otten, Thomas Raths |
| 2012 | Evaluating the Usability of Interactive Verification Systems. | Bernhard Beckert, Sarah Grebing |
| 2012 | Effective Finite-Valued Semantics for Labelled Calculi. | Matthias Baaz, Ori Lahav, Anna Zamansky |
| 2012 | UEL: Unification Solver for the Description Logic ℇℒ - System Description. | Franz Baader, Julian Mendez, Barbara Morawska |
| 2012 | Recent Advances in Unification for the EL Family. | Franz Baader, Stefan Borgwardt, Barbara Morawska |
| 2012 | SAT Encoding of Unification in ℇℒℋ | Franz Baader, Stefan Borgwardt, Barbara Morawska |
| 2012 | A Machine Learning Technique for Hardness Estimation of QFBV SMT Problems. | Mohammad Abdul Aziz, Amr G. Wassal, Nevin M. Darwish |
| 2012 | Unification Modulo Synchronous Distributivity. | Siva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran, Michal Rusinowitch |
701–725 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