Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Oliver Görlitz, Daniel Hausmann 0001, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder |
COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 234-247, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaj S. Bjørner, Katalin Fazekas |
On Incremental Pre-processing for SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 41-60, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Schöpf, Aart Middeldorp |
Confluence Criteria for Logically Constrained Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 474-490, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bohua Zhan, Yuheng Fan, Weiqiang Xiong, Runqing Xu |
Iscalc: An Interactive Symbolic Computation Framework (System Description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 577-589, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jan-Christoph Kassing, Jürgen Giesl |
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 344-364, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jera Hensel, Jürgen Giesl |
Proving Termination of C Programs with Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 266-285, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson 0001 |
Superposition with Delayed Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 23-40, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Colin Rothgang, Florian Rabe 0001, Christoph Benzmüller |
Theorem Proving in Dependently-Typed Higher-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 438-455, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gerald Whitters, Vivek Nigam, Carolyn L. Talcott |
Incremental Rewriting Modulo SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 560-576, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yu-Fang Chen 0001, Philipp Rümmer, Wei-Lun Tsai |
A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 170-189, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Florian Bruse, Martin Lange, Sören Möller |
Formal Reasoning About Influence in Natural Sciences Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 153-169, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Maria Paola Bonacina, Stéphane Graham-Lengrand, Christophe Vauthier |
QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 78-95, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Schmidt-Schauß, Daniele Nantes-Sobrinho |
Towards Fast Nominal Anti-unification of Letrec-Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 456-473, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Indrzejczak, Yaroslav I. Petrukhin |
A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 325-343, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon |
Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 382-400, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tanel Tammet, Priit Järv, Martin Verrev, Dirk Draheim |
An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 509-521, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Florian Frohn, Jürgen Giesl |
Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 220-233, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jasmin Blanchette, Qi Qiu, Sophie Tourret |
Verified Given Clause Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 61-77, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Petra Hozzová, Laura Kovács, Chase Norman, Andrei Voronkov |
Program Synthesis in Saturation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 307-324, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Brigitte Pientka, Cesare Tinelli (eds.) |
Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![Springer, 978-3-031-38498-1 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Stevens |
Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 491-508, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Fiedor, Lukás Holík, Martin Hruska, Adam Rogalewicz, Juraj Síc, Pavol Vargovcík |
Reasoning About Regular Properties: A Comparative Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 286-306, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler |
Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 248-265, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Martin Bromberger, Chaahat Jain, Christoph Weidenbach |
SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 134-152, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Martin Bromberger, Martin Desharnais, Christoph Weidenbach |
An Isabelle/HOL Formalization of the SCL(FOL) Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 116-133, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett |
Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 522-541, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Robin Coutelier, Laura Kovács, Michael Rawson 0001, Jakob Rath |
SAT-Based Subsumption Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 190-206, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marvin Brieger, Stefan Mitsch, André Platzer |
Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 96-115, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Katharina Kreuzer, Tobias Nipkow |
Verification of NP-Hardness Reduction Functions for Exact Lattice Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 365-381, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jeremias Berg, Bart Bogaerts 0001, Jakob Nordström, Andy Oertel, Dieter Vandesande |
Certified Core-Guided MaxSAT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 1-22, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Peuter, Viorica Sofronie-Stokkermans, Sebastian Thunert |
On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics Eℒ, Eℒ+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 419-437, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Niederhauser, Nao Hirokawa, Aart Middeldorp |
Left-Linear Completion with AC Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 401-418, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Boigelot, Pascal Fontaine, Baptiste Vergain |
Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 542-559, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Fleury, Peter Lammich |
A More Pragmatic CDCL for IsaSAT and Targetting LLVM (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 207-219, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tanel Tammet, Dirk Draheim, Priit Järv |
Confidences for Commonsense Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 507-524, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Schurr, Mathias Fleury, Martin Desharnais |
Reliable Reconstruction of Fine-grained Proofs in a Proof Assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 450-467, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki |
Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 41-57, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova |
Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 291-308, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Emre Yolcu, Scott Aaronson, Marijn J. H. Heule |
An Automated Approach to the Collatz Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 468-484, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ying Sheng 0007, Yoni Zohar, Christophe Ringeissen, Andrew Reynolds 0001, Clark W. Barrett, Cesare Tinelli |
Politeness and Stable Infiniteness: Stronger Together. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 148-165, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Filip Bártek, Martin Suda 0001 |
Neural Precedence Recommender. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 525-542, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Vivek Nigam, Giselle Reis, Samar Rahmouni, Harald Ruess |
Proof Search and Certificates for Evidential Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 234-251, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jacob Errington, Junyoung Jang 0001, Brigitte Pientka |
Harpoon: Mechanizing Metatheory Interactively - (System Description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 636-648, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ryan Krueger, Jesse Michael Han, Daniel Selsam |
Automatically Building Diagrams for Olympiad Geometry Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 577-588, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Markus N. Rabe, Christian Szegedy |
Towards the Automatic Mathematician. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 25-37, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller |
The ksmt Calculus Is a δ-complete Decision Procedure for Non-linear Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 113-130, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Camillo Fiorentini |
Efficient SAT-based Proof Search in Intuitionistic Propositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 217-233, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon |
Efficient Local Reductions to Basic Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 76-92, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Makarius Wenzel |
The Isabelle/Naproche Natural Language Proof Assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 614-624, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret |
Making Higher-Order Superposition Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 415-432, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Emery A. Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori |
A Normative Supervisor for Reinforcement Learning Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 565-576, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic |
Superposition for Full Higher-order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 396-412, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kaustuv Chaudhuri |
Subformula Linking for Intuitionistic Logic with Application to Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 200-216, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Liron Cohen 0001 |
Non-well-founded Deduction for Induction and Coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 3-24, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Alberto Griggio, Gianluca Redondi |
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 131-147, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo de Moura 0001, Sebastian Ullrich 0002 |
The Lean 4 Theorem Prover and Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 625-635, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah |
Computing Optimal Repairs of Quantified ABoxes w.r.t. Static EL TBoxes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 309-326, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mnacho Echenim, Radu Iosif, Nicolas Peltier |
Unifying Decidable Entailments in Separation Logic with Inductive Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 183-199, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Martin Suda 0001 |
Improving ENIGMA-style Clause Selection while Learning From History. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 543-561, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Randal E. Bryant, Marijn J. H. Heule |
Dual Proof Generation for Quantified Boolean Formulas with a BDD-based Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 433-449, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | André Platzer, Geoff Sutcliffe (eds.) |
Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![Springer, 978-3-030-79875-8 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Runqing Xu, Liming Li, Bohua Zhan |
Verified Interactive Computation of Definite Integrals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 485-503, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Nipkow, Simon Roßkopf |
Isabelle's Metalogic: Formalization and Proof Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 93-110, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Smallbone |
Twee: An Equational Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 602-613, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lee A. Barnett, Armin Biere |
Non-clausal Redundancy Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 252-272, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Petra Hozzová, Laura Kovács, Andrei Voronkov |
Integer Induction in Saturation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 361-377, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ebner, Jasmin Blanchette, Sophie Tourret |
A Unifying Splitting Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 344-360, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Peter Baumgartner 0001 |
The Fusemate Logic Programming System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 589-601, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Fajar Haifani, Sophie Tourret, Christoph Weidenbach |
Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 327-343, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Wernhard, Wolfgang Bibel |
Learning from Łukasiewicz and Meredith: Investigations into Proof Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 58-75, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dohan Kim 0001, Christopher Lynch |
Equational Theorem Proving Modulo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 166-182, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Visa Nummelin, Alexander Bentkamp, Sophie Tourret, Petar Vukmirovic |
Superposition with First-class Booleans and Inprocessing Clausification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 378-395, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Akihisa Yamada 0002 |
Multi-Dimensional Interpretations for Termination of Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 273-290, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | André Platzer |
Uniform Substitution at One Fell Swoop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 425-441, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar |
Automata Terms in a Lazy WSkS Decision Procedure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 300-318, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Siva Anantharaman, Peter Hibbs, Paliath Narendran, Michaël Rusinowitch |
Unification Modulo Lists with Reverse Relation with Certain Word Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 1-17, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Fontaine (eds.) |
Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![Springer, 978-3-030-29435-9 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Katherine Cordwell, André Platzer |
Towards Physical Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 216-232, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christina Kohl, Aart Middeldorp |
Composing Proof Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 337-353, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexsander Andrade de Melo, Mateus de Oliveira Oliveira |
On the Width of Regular Classes of Finite Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 18-34, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christian Sternagel, Sarah Winkler |
Certified Equational Reasoning via Ordered Completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 508-525, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michael Rawson 0001, Giles Reger |
Old or Heavy? Decaying Gracefully with Age/Weight Shapes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 462-476, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yizheng Zhao, Renate A. Schmidt |
FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 568-579, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi |
Confluence by Critical Pair Analysis Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 319-336, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Schulz 0001, Simon Cruanes, Petar Vukmirovic |
Faster, Higher, Stronger: E 2.3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 495-507, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Geoff Sutcliffe, Francis Jeffry Pelletier |
JGXYZ: An ATP System for Gap and Glut Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 526-537, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Furbach, Teresa Krämer, Claudia Schon |
Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 250-268, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Giesl, Peter Giesl, Marcel Hark |
Computing Expected Runtimes for Constant Probability Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 269-286, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Giles Reger, Andrei Voronkov |
Induction in Saturation-Based Proof Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 477-494, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | David A. Plaisted |
The Aspect Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 406-424, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Raúl Gutiérrez, Salvador Lucas |
Automatic Generation of Logical Models with AGES. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 287-299, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Cassano, Raul Fervari, Guillaume Hoffmann 0001, Carlos Areces, Pablo F. Castro |
A Tableaux Calculus for Default Intuitionistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 161-177, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Haniel Barbosa, Andrew Reynolds 0001, Daniel El Ouraoui, Cesare Tinelli, Clark W. Barrett |
Extending SMT Solvers to Higher-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 35-54, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Popescu 0001, Dmitriy Traytel |
A Formally Verified Abstract Account of Gödel's Incompleteness Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 442-461, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Peuter, Viorica Sofronie-Stokkermans |
On Invariant Synthesis for Parametric Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 385-405, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Di Long Li, Alwen Tiu |
Combining ProVerif and Automated Theorem Provers for Security Protocol Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 354-365, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Trentin, Roberto Sebastiani |
Optimization Modulo the Theory of Floating-Point Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 550-567, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tanel Tammet |
GKC: A Reasoning System for Large Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 538-549, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chad E. Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe, Josef Urban |
GRUNGE: A Grand Unified ATP Challenge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 123-141, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Karel Chvalovský, Jan Jakubuv, Martin Suda 0001, Josef Urban |
ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 197-215, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|