Vampire

From Scholarpedia

Vampire is the reasoner implemented by Dr. Voronkov for automated logic problem solving.

Name: Dr. Andrey Voronkov
Email: andrey@voronkov.com, voronkov@cs.man.ac.uk
Affiliation: University of Manchester, UK
URL: http://voronkov.com
Comments: an long-time organizer of LPAR, http://dblp.uni-trier.de/db/indices/a-tree/v/Voronkov:Andrei.html
Suggested by: User:Mokhov

↧ Download as ZWI file | Last modified: 09/07/2026 08:13:42 | 91 views
☰ Source: http://www.scholarpedia.org/article/Vampire | License: CC BY-SA 3.0

✘

ZWI is not signed. [what is this?]