Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
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
Copyright © 2012-2024 easychair.org. All rights reserved.