Vampire

201620172018201920162019

Keyphrases

Publications

2019

Daniela Ritirc, Armin Biere, Manuel Kauers
SAT, Computer Algebra, Multipliers. Vampire (2019)
Agnieszka Slowik, Chaitanya Mangla, Mateja Jamnik, Sean B. Holden, Lawrence C. Paulson
Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving. Vampire (2019)
Martin Riener
Experimenting with Theory Instantiation in Vampire. Vampire (2019)
Martin Suda
Aiming for the Goal with SInE. Vampire (2019)
Javier Álvez, Itziar Gonzalez-Dios, German Rigau
Towards Word Sense Disambiguation by Reasoning. Vampire (2019)

volume 71, 2019

Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops Vampire 71 (2019)

volume 38, 2016

Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014, Vienna, Austria, July 23, 2014 / Vampire@CADE 2015, Berlin, Germany, August 2, 2015 Vampire 38 (2016)