|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Hozzová, Petra ; Kovács, Laura ; Norman, Chase ; Voronkov, Andrei | Program Synthesis in Saturation | Inproceedings Konferenzbeitrag  | 2-Sep-2023 |
| 2 | | Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei | Getting Saturated with Induction | Book Contribution Buchbeitrag | 29-Dec-2022 |
| 3 |  | Hajdu, Marton ; Kovacs, Laura ; Rawson, Michael ; Voronkov, Andrei | The Vampire Approach to Induction (short paper) | Inproceedings Konferenzbeitrag   | 31-Aug-2022 |
| 4 |  | Hajdu, Marton ; Hozzova, Petra ; Kovacs, Laura ; Voronkov, Andrei | Induction with Recursive Definitions in Superposition | Beitrag in Tagungsband Inproceedings | Oct-2021 |
| 5 |  | Hajdu, Marton ; Hozzova, Petra ; Kovacs, Laura ; Schoisswohl, Johannes ; Voronkov, Andrei | Inductive Benchmarks for Automated Reasoning | Inproceedings Konferenzbeitrag | 12-Aug-2021 |
| 6 |  | Hozzova, Petra ; Kovacs, Laura ; Voronkov, Andrei | Integer Induction in Saturation | Inproceedings Konferenzbeitrag | 29-Jul-2021 |
| 7 | | Kovacs, Laura ; Voronkov, Andrei | First-Order Theorem Proving in Rigorous Systems Engineering | Präsentation Presentation | 2018 |
| 8 | | Kotelnikov, Evgenii ; Kovács, Laura ; Voronkov, Andrei | A FOOLish Encoding of the Next State Relations of Imperative Programs | Konferenzbeitrag Inproceedings | 2018 |
| 9 | | Reger, Giles ; Suda, Martin ; Voronkov, Andrei | Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning | Konferenzbeitrag Inproceedings | 2018 |
| 10 | | Reger, Giles ; Suda, Martin ; Voronkov, Andrei | Instantiation and Pretending to be an SMT Solver with Vampire | Präsentation Presentation | 2017 |
| 11 | | Reger, Giles ; Suda, Martin ; Voronkov, Andrei | Recent Improvements of Theory Reasoning in Vampire | Präsentation Presentation | 2017 |
| 12 | | Kovacs, Laura ; Robillard, Simon ; Voronkov, Andrei | Coming to Terms with Quantified Reasoning | Konferenzbeitrag Inproceedings | 2017 |
| 13 | | Reger, Giles ; Suda, Martin ; Voronkov, Andrei | Testing a Saturation-Based Theorem Prover: Experiences and Challenges | Konferenzbeitrag Inproceedings | 2017 |
| 14 | | Kovacs, Laura ; Voronkov, Andrei | First-Order Interpolation and Interpolating Proof Systems | Konferenzbeitrag Inproceedings | 2017 |
| 15 | | Reger, Giles ; Suda, Martin ; Voronkov, Andrei | New Techniques in Clausal Form Generation | Präsentation Presentation | 2016 |
| 16 | | Reger, Giles ; Suda, Martin ; Voronkov, Andrei | New Techniques in Clausal Form Generation | Konferenzbeitrag Inproceedings | 2016 |
| 17 | | Hoder, Kryštof ; Reger, Giles ; Suda, Martin ; Voronkov, Andrei | Selecting the Selection | Konferenzbeitrag Inproceedings | 2016 |
| 18 | | Kotelnikov, Evgenii ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei | The vampire and the FOOL | Konferenzbeitrag Inproceedings | 2016 |
| 19 | | Kotelnikov, Evgenii ; Kovacs, Laura ; Suda, Martin ; Voronkov, Andrei | A Clausal Normal Form Translation for FOOL | Konferenzbeitrag Inproceedings | 2016 |
| 20 | | Reger, Giles ; Suda, Martin ; Voronkov, Andrei | Finding Finite Models in Multi-sorted First-Order Logic | Konferenzbeitrag Inproceedings | 2016 |
