Vampire 2019:Keyword Index

KeywordPapers
A
automated reasoningExperimenting with Theory Instantiation in Vampire
automated theorem provingTowards Word Sense Disambiguation by Reasoning
Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving
B
Bayesian optimisationBayesian Optimisation for Heuristic Configuration in Automated Theorem Proving
C
computer algebraSAT, Computer Algebra, Multipliers
F
first-order theorem provingExperimenting with Theory Instantiation in Vampire
Aiming for the Goal with SInE
H
Heuristic ConfigurationBayesian Optimisation for Heuristic Configuration in Automated Theorem Proving
L
large theory problemsAiming for the Goal with SInE
M
Multiplier circuitsSAT, Computer Algebra, Multipliers
N
Natural Language ProcessingTowards Word Sense Disambiguation by Reasoning
O
OntologiesTowards Word Sense Disambiguation by Reasoning
P
polynomial reasoningSAT, Computer Algebra, Multipliers
premise selectionAiming for the Goal with SInE
Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving
proof certificatesSAT, Computer Algebra, Multipliers
S
SATSAT, Computer Algebra, Multipliers
semantic mappingsTowards Word Sense Disambiguation by Reasoning
sineAiming for the Goal with SInE
SMTExperimenting with Theory Instantiation in Vampire
SUMOTowards Word Sense Disambiguation by Reasoning
Sumo Inference Engine (SInE)Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving
T
theory instantiationExperimenting with Theory Instantiation in Vampire
V
VampireExperimenting with Theory Instantiation in Vampire
Aiming for the Goal with SInE