VAMPIRE 2014 PROCEEDINGS: KEYWORD INDEX

Shortcuts: A E F I P S T V

A
automated theorem proving	SAT solving experiments in Vampire (PDF, talk) First Class Boolean Type in First-Order Theorem Proving and TPTP (PDF, talk)
automatic theorem provers	My Life with an Automatic Theorem Prover (PDF, talk)
AVATAR	Playing with AVATAR (PDF, talk)
E
extensionality axiom	Reasoning in First-Order Theories with Extensionality (PDF, talk)
F
First order	SAT solving experiments in Vampire (PDF, talk)
first-order theorem proving	Playing with AVATAR (PDF, talk) Reasoning in First-Order Theories with Extensionality (PDF, talk)
Formats	Proofs in Vampire (PDF, talk)
I
Isabelle/HOL	My Life with an Automatic Theorem Prover (PDF, talk)
P
proof assistants	My Life with an Automatic Theorem Prover (PDF, talk)
Proofs	Proofs in Vampire (PDF, talk)
S
SAT	SAT solving experiments in Vampire (PDF, talk)
SAT solving	SAT solving experiments in Vampire (PDF, talk)
saturation algorithm	Reasoning in First-Order Theories with Extensionality (PDF, talk)
Saturation Algorithms	Playing with AVATAR (PDF, talk)
Standards	Proofs in Vampire (PDF, talk)
superposition	First Class Boolean Type in First-Order Theorem Proving and TPTP (PDF, talk)
superposition calculus	Reasoning in First-Order Theories with Extensionality (PDF, talk)
T
TPTP	First Class Boolean Type in First-Order Theorem Proving and TPTP (PDF, talk)
V
Vampire	My Life with an Automatic Theorem Prover (PDF, talk) Playing with AVATAR (PDF, talk) SAT solving experiments in Vampire (PDF, talk)