VAMPIRE 2016: VAMPIRE 2016

B
Biere, Armin	Blocked clauses in first-order logic
C
Chen, Yuting	Theory-Specific Reasoning about Loops with Arrays using Vampire
E
Erdweg, Sebastian	Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny
G
Grewe, Sylvia	Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny
K
Kiesl, Benjamin	Blocked clauses in first-order logic
Kotelnikov, Evgenii	Reasoning about Next-State Relations with Vampire
Kovacs, Laura	Theory-Specific Reasoning about Loops with Arrays using Vampire
L
Lucio, Paqui	Evaluating Automated Theorem Provers Using Adimen-SUMO
M
Mezini, Mira	Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny
R
Reger, Giles	Revisiting Global Subsumption Better Proof Output for Vampire
Reynolds, Andrew	Recent Advances in Instantiation-Based Techniques and their Implementation in CVC4
Rigau, German	Evaluating Automated Theorem Provers Using Adimen-SUMO
Robillard, Simon	Theory-Specific Reasoning about Loops with Arrays using Vampire Handling the Theory of Finite Term Algebras in a Saturation Theorem Prover
S
Seidl, Martina	Blocked clauses in first-order logic
Suda, Martin	Revisiting Global Subsumption Blocked clauses in first-order logic
T
Tim King And Ruzica Piskac,	SMT-LIB Updates and Discussion
Á
Álvez, Javier	Evaluating Automated Theorem Provers Using Adimen-SUMO

Disclaimer | Powered by EasyChair Smart Program