Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,268,536 papers from all fields of science
Search
Sign In
Create Free Account
Vampire Theorem Prover
Known as:
Vampire (disambiguation)
, Theorem prover Vampire
, Vampire reasoner
Expand
Vampire's kernel implements the calculi of ordered binary resolution and superposition for handling equality. The splitting rule and negative…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
13 relations
Automated theorem proving
CADE ATP System Competition
Conjunctive normal form
DPLL algorithm
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
VAMPIRE - Analyse, observation et prévention de vulnérabilités dans l'Internet du futur - Compte-rendu de fin de projet
Laurent Andrey
,
O. Festor
2013
Corpus ID: 194112217
Internet est devenu le lieu de l'integration de nombreux services autrefois separes. Citons la telephonie filaire ou mobile. De…
Expand
2013
2013
Peripheral Phenomena: The Colliding Evolution of Darcy and Dracula
E. Ogden
2013
Corpus ID: 37674719
In this study, I examine aspects of Jane Austen, vampire fiction, and contemporary culture through the lens of vampire adaptions…
Expand
2012
2012
The homosexual vampire as a metaphor for…the homosexual vampire?' : True Blood, Homonormativity and Assimilation
Darren Elliott-Smith
2012
Corpus ID: 142401983
2011
2011
The Twilight Saga
Jennifer Anderson
,
J. Ayles
,
Kelly Dickinson
2011
Corpus ID: 193475567
The story of The Twilight Saga centres around the relationship between the teenager Isabella "Bella" Swan, and her relationship…
Expand
2010
2010
Interpolation and Symbol Elimination in Vampire
Krystof Hoder
,
L. Kovács
,
A. Voronkov
International Joint Conference on Automated…
2010
Corpus ID: 2696738
It has recently been shown that proofs in which some symbols are colored (e.g. local or split proofs and symbol-eliminating…
Expand
2010
2010
English Assimilation and Invasion From Outside the Empire: Problems of the Outsider in England in Bram Stoker's Dracula
Jeffrey S. Moore
2010
Corpus ID: 159536477
.........................................................................................iii DEDICATION…
Expand
2010
2010
Metamorphoses of the Vampire in Literature and Film: The Bourgeois Vampire and Nineteenth-Century Identity Theft
E. Butler
2010
Corpus ID: 162438736
Highly Cited
2005
Highly Cited
2005
MUP: a minimal unsatisfiability prover
Jinbo Huang
Proceedings of the ASP-DAC . Asia and South…
2005
Corpus ID: 9278486
After establishing the unsatisfiability of a SAT instance encoding a typical design task, there is a practical need to identify…
Expand
2005
2005
Resolution and Pebbling Games
Nicola Galesi
,
Neil Thapen
International Conference on Theory and…
2005
Corpus ID: 308358
We define a collection of Prover-Delayer games to characterise some subsystems of propositional resolution. We give some natural…
Expand
1995
1995
SATCHMORE: SATCHMO with RElevancy
D. Loveland
,
David W. Reed
,
D. S. Wilson
Journal of automated reasoning
1995
Corpus ID: 1333618
We introduce a relevancy detection algorithm to be used in conjunction with the SATCHMO prover. The version of SATCHMO considered…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE