Vampire23: Keyword Index

Keyword	Papers
a
answer literals	Integrating Answer Literals with AVATAR for Program Synthesis
automated reasoning	The Spawns of the Saturation Framework
automated theorem proving	Lazy and Eager Patterns in High-Performance Automated Theorem Proving
Avatar	Integrating Answer Literals with AVATAR for Program Synthesis
e
efficient algorithms	Lazy and Eager Patterns in High-Performance Automated Theorem Proving
f
first-order theorem proving	The Spawns of the Saturation Framework Integrating Answer Literals with AVATAR for Program Synthesis
i
implementation of logics	Lazy and Eager Patterns in High-Performance Automated Theorem Proving
Isabelle	The Spawns of the Saturation Framework
p
program synthesis	Integrating Answer Literals with AVATAR for Program Synthesis
s
saturation	The Spawns of the Saturation Framework
superposition	The Spawns of the Saturation Framework