Get started
Award

EP/P03408X/1

Funded outputs count: 15
Funder award ID: EP/P03408X/1
OpenAlex ID: G5530650714
Getting Saturated with Induction
2022 · Márton Hajdu, Petra Hozzová, et al. · Lecture notes in computer science · 4
PDF
Automating Induction by Reflection
2021 · Johannes Schoisswohl, Laura Kovács · Electronic Proceedings in Theoretical Computer Science · 3
PDF
Making Theory Reasoning Simpler
2021 · Giles Reger, Johannes Schoisswohl, et al. · Lecture notes in computer science · 5
PDF
Inductive Benchmarks for Automated Reasoning
2021 · Márton Hajdu, Petra Hozzová, et al. · Lecture notes in computer science · 3
Integer Induction in Saturation
2021 · Petra Hozzová, Laura Kovács, et al. · Lecture notes in computer science · 12
PDF
Automated Induction by Reflection
2020 · Schoisswohl, Johannes · reposiTUm (TU Wien) · 1
Induction with Generalization in Superposition Reasoning
2020 · Márton Hajdú, Petra Hozzová, et al. · Lecture notes in computer science · 26
PDF
A Polymorphic Vampire
2020 · Ahmed Bhayat, Giles Reger · Lecture notes in computer science · 7
Induction in Saturation-Based Proof Search
2019 · Giles Reger, Andrei Voronkov · Lecture notes in computer science · 32
PDF
Symmetry Avoidance in MACE-Style Finite Model Finding
2019 · Giles Reger, Martin Riener, et al. · Lecture notes in computer science · 4
AVATAR Modulo Theories
2018 · Giles Reger, Nikolaj Bjorner, et al. · EPiC series in computing · 23
PDF
First-Order Interpolation and Interpolating Proof Systems
2018 · Laura Kovács, Andrei Voronkov · EPiC series in computing · 8
PDF
Set of Support for Theory Reasoning
2018 · Giles Reger, Martin Suda · Kalpa publications in computing · 10
PDF
A FOOLish Encoding of the Next State Relations of Imperative Programs
2018 · Evgenii Kotelnikov, Laura Kovács, et al. · Lecture notes in computer science · 5
PDF
Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning
2017 · Giles Reger, Martin Suda, et al. · Lecture notes in computer science · 27
Year
Topic