Keyword:Vampire

Publications
A Higher-Order Vampire (Short Paper) Ahmed Bhayat and Martin Suda EasyChair Preprint 13125
Induction with Recursive Definitions in Superposition Marton Hajdu, Petra Hozzová, Laura Kovacs and Andrei Voronkov EasyChair Preprint 6513
Induction with Generalization in Superposition Reasoning Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov EasyChair Preprint 2468
A FOOLish Encoding of the Next State Relations of Imperative Programs Evgenii Kotelnikov, Laura Kovács and Andrei Voronkov EasyChair Preprint 98
Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning Giles Reger, Martin Suda and Andrei Voronkov EasyChair Preprint 1
Experimenting with Theory Instantiation in Vampire Martin Riener In:Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops
Aiming for the Goal with SInE Martin Suda In:Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops
Revisiting Question Answering in Vampire Giles Reger In:Vampire 2017. Proceedings of the 4th Vampire Workshop
Incremental Solving with Vampire Giles Reger and Martin Suda In:Vampire 2017. Proceedings of the 4th Vampire Workshop
Using Vampire with Support for Algebraic Datatypes in Type Soundness Proofs Sylvia Grewe, André Pacak and Mira Mezini In:Vampire 2017. Proceedings of the 4th Vampire Workshop
Better Proof Output for Vampire Giles Reger In:Vampire 2016. Proceedings of the 3rd Vampire Workshop
Global Subsumption Revisited (Briefly) Giles Reger and Martin Suda In:Vampire 2016. Proceedings of the 3rd Vampire Workshop
AVATAR Modulo Theories Giles Reger, Nikolaj Bjorner, Martin Suda and Andrei Voronkov In:GCAI 2016. 2nd Global Conference on Artificial Intelligence
The Uses of SAT Solvers in Vampire Giles Reger and Martin Suda In:Proceedings of the 1st and 2nd Vampire Workshops
Using Vampire in Soundness Proofs of Type Systems Sylvia Grewe, Sebastian Erdweg and Mira Mezini In:Proceedings of the 1st and 2nd Vampire Workshops
Things You Can't do With a Vampire Geoff Sutcliffe In:Proceedings of the 1st and 2nd Vampire Workshops
The Challenges of Evaluating a New Feature in Vampire Giles Reger, Martin Suda and Andrei Voronkov In:Proceedings of the 1st and 2nd Vampire Workshops
My Life with an Automatic Theorem Prover Jasmin Christian Blanchette In:Proceedings of the 1st and 2nd Vampire Workshops
SAT solving experiments in Vampire Armin Biere, Ioan Dragan, Laura Kovács and Andrei Voronkov In:Proceedings of the 1st and 2nd Vampire Workshops