Andrei Voronkov
Manchester University
H-index: 41
North America-United States
Top articles of Andrei Voronkov
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Synthesis of Recursive Programs in Saturation | Petra Hozzová Daneshvar Amrollahi Márton Hajdu Laura Kovács Andrei Voronkov | 2024/2/16 | |
Program synthesis in saturation | Petra Hozzová Laura Kovács Chase Norman Andrei Voronkov | 2023/7/1 | |
ALASCA: reasoning in quantified linear arithmetic | Konstantin Korovin Laura Kovács Giles Reger Johannes Schoisswohl Andrei Voronkov | 2023/4/22 | |
ALASCA: Reasoning in Quantified Linear Arithmetic (Extended Version) | EasyChair Preprint | Konstantin Korovin Laura Kovacs J Schoisswohl G Reger Andrei Voronkov | 2023/1/20 |
The Vampire Approach to Induction (short paper) | Marton Hajdu Laura Kovacs Michael Rawson Andrei Voronkov | 2022/8/31 | |
Towards Synthesis in Superposition | Petra Hozzová Laura Kovács Andrei Voronkov | 2022/6/4 | |
Vampire 4.7-SMT System Description | Giles Reger Martin Suda Andrei Voronkov Laura Kovács Ahmed Bhayat | 2022 | |
Getting saturated with induction | Márton Hajdu Petra Hozzová Laura Kovács Giles Reger Andrei Voronkov | 2022/12/29 | |
The Vampire Approach to Induction | Practical Aspects of Automated Reasoning | Márton Hajdu Laura Kovács Michael Rawson Andrei Voronkov | 2022/11/1 |
Logic Databases and the Meaning of Change (Dagstuhl Seminar 9639) | Hendrik Decker Jorge Bocca Michael Kifer Andrei Voronkov | 2021 | |
Deduction and Infinite-state Model Checking (Dagstuhl Seminar 03171) | Deepak Kapur Andreas Podelski Andrei Voronkov | 2021 | |
Inductive benchmarks for automated reasoning | Márton Hajdu Petra Hozzová Laura Kovács Johannes Schoisswohl Andrei Voronkov | 2021 | |
Making theory reasoning simpler | Giles Reger Johannes Schoisswohl Andrei Voronkov | 2021 | |
Induction with recursive definitions in superposition | Márton Hajdu Petra Hozzová Laura Kovács Andrei Voronkov | 2021/10/19 | |
Integer Induction in Saturation. | CADE | Petra Hozzová Laura Kovács Andrei Voronkov | 2021/7/12 |
Induction with generalization in superposition reasoning | Márton Hajdú Petra Hozzová Laura Kovács Johannes Schoisswohl Andrei Voronkov | 2020 |