Publications

This is a list of publications related to Vampire. This list is out of date, at the moment please refer to the team's personal or DBLP pages for related papers. Both Laura and Giles maintain preprints on their personal pages.

2017
- Giles Reger
- Martin Suda
Set of Support for Theory Reasoning IWIL@LPAR 2017
- Laura Kovács
- Andrei Voronkov
First-Order Interpolation and Interpolating Proof Systems LPAR 2017
- Laura Kovács
- Simon Robillard
- Andrei Voronkov
Coming to terms with quantified reasoning POPL 2017
- Benjamin Kiesl
- Martin Suda
A Unifying Principle for Clause Elimination in First-Order Logic CADE 2017
- Bernhard Gleiss
- Laura Kovács
- Martin Suda
Splitting Proofs for Interpolation CADE 2017
- Giles Reger
- Martin Suda
- Andrei Voronkov
Testing a Saturation-Based Theorem Prover: Experiences and Challenges TAP 2017
2016
(Currently Missing)
2015
(Currently Missing)
2014
(Currently Missing)
2013
- Laura Kovács
- Andrei Voronkov
First-Order Theorem Proving and Vampire CAV 2013
- Kryštof Hoder
- Andrei Voronkov
The 481 Ways to Split a Clause and Deal with Propositional Variables CADE 2013
2012
- Kryštof Hoder
- Laura Kovács
- Andrei Voronkov
Playing in the grey area of proofs POPL 2012
- Kryštof Hoder
- Andreas Holzer
- Laura Kovács
- Andrei Voronkov
Vinter: A Vampire-Based Tool for Interpolation APLAS 2012
- Kryštof Hoder
- Zurab Khasidashvili
- Konstantin Korovin
- Andrei Voronkov
Preprocessing techniques for first-order clausification FMCAD 2012
2011
- Kryštof Hoder
- Andrei Voronkov
Sine Qua Non for Large Theory Reasoning CADE 2011
- Kryštof Hoder
- Laura Kovács
- Andrei Voronkov
Case Studies on Invariant Generation Using a Saturation Theorem Prover MICAI 2011
- Kryštof Hoder
- Laura Kovács
- Andrei Voronkov
Invariant Generation in Vampire TACAS 2011
Before 2011
(Currently Missing)