VAMPIRE 2014 PROCEEDINGS: AUTHOR INDEX

Shortcuts: B D G K R S V

B
Biere, Armin	SAT solving experiments in Vampire (PDF, talk)
Blanchette, Jasmin Christian	My Life with an Automatic Theorem Prover (PDF, talk)
D
Dragan, Ioan	SAT solving experiments in Vampire (PDF, talk)
G
Gupta, Ashutosh	Proofs in Vampire (PDF, talk) Reasoning in First-Order Theories with Extensionality (PDF, talk)
K
Kotelnikov, Evgeny	First Class Boolean Type in First-Order Theorem Proving and TPTP (PDF, talk)
Kovacs, Laura	First-Order Theorem Proving with Vampire (PDF, talk) SAT solving experiments in Vampire (PDF, talk) First Class Boolean Type in First-Order Theorem Proving and TPTP (PDF, talk) Reasoning in First-Order Theories with Extensionality (PDF, talk)
Kragl, Bernhard	Reasoning in First-Order Theories with Extensionality (PDF, talk)
R
Reger, Giles	Playing with AVATAR (PDF, talk)
S
Suda, Martin	Playing with AVATAR (PDF, talk)
V
Voronkov, Andrei	First-Order Theorem Proving with Vampire (PDF, talk) Playing with AVATAR (PDF, talk) SAT solving experiments in Vampire (PDF, talk) First Class Boolean Type in First-Order Theorem Proving and TPTP (PDF, talk) Reasoning in First-Order Theories with Extensionality (PDF, talk)