Vampire

From Scholarpedia

Jump to: navigation, search

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

Retrieved from "http://www.scholarpedia.org/w/index.php?title=Vampire&oldid=83511"

Personal tools

Log in / create account

Focal areas

Activity

Toolbox