ENCYCLOREADER
KSFVampire
From Scholarpedia - Reading time: 1 min
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
Licensed under CC BY-SA 3.0 | Source: http://www.scholarpedia.org/article/Vampire13 views | Status: cached on February 01 2024 23:20:25↧ Download this article as ZWI file