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
    Personal tools
    Namespaces

    Variants
    Actions
    Navigation
    Focal areas
    Activity
    Tools