Getting saturated with induction
From MaRDI portal
Publication:6113982
DOI10.1007/978-3-031-22337-2_15zbMath1528.68391OpenAlexW4312593791MaRDI QIDQ6113982
Andrei Voronkov, Márton Hajdu, Giles Reger, Laura Kovács, Petra Hozzová
Publication date: 10 August 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-22337-2_15
Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
- Unnamed Item
- Unnamed Item
- Rippling: A heuristic for guiding inductive proofs
- Superposition with structural induction
- Integer induction in saturation
- Inductive benchmarks for automated reasoning
- Induction with generalization in superposition reasoning
- Combining induction and saturation-based theorem proving
- Induction in saturation-based proof search
- Faster, higher, stronger: E 2.3
- Combining Superposition and Induction: A Practical Realization
- Zeno: An Automated Prover for Properties of Recursive Data Structures
- Automating Inductive Proofs Using Theory Exploration
- The Imandra Automated Reasoning System (System Description)
- Induction for SMT Solvers
- Coming to terms with quantified reasoning
- Computer Aided Verification
This page was built for publication: Getting saturated with induction
