CADE

Keyphrases

Publications

2023

Robin Coutelier, Laura Kovács, Michael Rawson, Jakob Rath
SAT-Based Subsumption Resolution. CADE (2023)
Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson
Superposition with Delayed Unification. CADE (2023)
Colin Rothgang, Florian Rabe, Christoph Benzmüller
Theorem Proving in Dependently-Typed Higher-Order Logic. CADE (2023)
Jera Hensel, Jürgen Giesl
Proving Termination of C Programs with Lists. CADE (2023)
Bohua Zhan, Yuheng Fan, Weiqiang Xiong, Runqing Xu
Iscalc: An Interactive Symbolic Computation Framework (System Description). CADE (2023)
Jonas Schöpf, Aart Middeldorp
Confluence Criteria for Logically Constrained Rewrite Systems. CADE (2023)
Dennis Peuter, Viorica Sofronie-Stokkermans, Sebastian Thunert
. CADE (2023)
Petra Hozzová, Laura Kovács, Chase Norman, Andrei Voronkov
Program Synthesis in Saturation. CADE (2023)
Lukas Stevens
Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory. CADE (2023)
Florian Frohn, Jürgen Giesl
Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper). CADE (2023)
Jan-Christoph Kassing, Jürgen Giesl
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs. CADE (2023)
Johannes Niederhauser, Nao Hirokawa, Aart Middeldorp
Left-Linear Completion with AC Axioms. CADE (2023)
Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler
Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT. CADE (2023)
Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Dieter Vandesande
Certified Core-Guided MaxSAT Solving. CADE (2023)
Nikolaj S. Bjørner, Katalin Fazekas
On Incremental Pre-processing for SMT. CADE (2023)
Bernard Boigelot, Pascal Fontaine, Baptiste Vergain
Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates. CADE (2023)
Marvin Brieger, Stefan Mitsch, André Platzer
Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs. CADE (2023)
Gerald Whitters, Vivek Nigam, Carolyn L. Talcott
Incremental Rewriting Modulo SMT. CADE (2023)
Tomás Fiedor, Lukás Holík, Martin Hruska, Adam Rogalewicz, Juraj Síc, Pavol Vargovcík
Reasoning About Regular Properties: A Comparative Study. CADE (2023)
Martin Bromberger, Chaahat Jain, Christoph Weidenbach
SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning. CADE (2023)
Jasmin Blanchette, Qi Qiu, Sophie Tourret
Verified Given Clause Procedures. CADE (2023)
Martin Bromberger, Martin Desharnais, Christoph Weidenbach
An Isabelle/HOL Formalization of the SCL(FOL) Calculus. CADE (2023)
Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon
Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic. CADE (2023)
Andrzej Indrzejczak, Yaroslav I. Petrukhin
A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus. CADE (2023)
Manfred Schmidt-Schauß, Daniele Nantes-Sobrinho
Towards Fast Nominal Anti-unification of Letrec-Expressions. CADE (2023)
Mathias Fleury, Peter Lammich
A More Pragmatic CDCL for IsaSAT and Targetting LLVM (Short Paper). CADE (2023)
Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder
COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description). CADE (2023)
Florian Bruse, Martin Lange, Sören Möller
Formal Reasoning About Influence in Natural Sciences Experiments. CADE (2023)
Katharina Kreuzer, Tobias Nipkow
Verification of NP-Hardness Reduction Functions for Exact Lattice Problems. CADE (2023)
Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett
Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness. CADE (2023)
Tanel Tammet, Priit Järv, Martin Verrev, Dirk Draheim
An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper). CADE (2023)
Maria Paola Bonacina, Stéphane Graham-Lengrand, Christophe Vauthier
QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment. CADE (2023)
Yu-Fang Chen, Philipp Rümmer, Wei-Lun Tsai
A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification). CADE (2023)

volume 14132, 2023

Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings CADE 14132 (2023)

2021

volume 12699, 2021

Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings CADE 12699 (2021)