Talk Keyword Index

TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: -F H I P R S T V

-
- Induction	Synthesis of the Floored Division Function in Saturation
- Program Synthesis	Synthesis of the Floored Division Function in Saturation
- Recursion	Synthesis of the Floored Division Function in Saturation
- Saturation	Synthesis of the Floored Division Function in Saturation
- Superposition	Synthesis of the Floored Division Function in Saturation
- Theorem Proving	Synthesis of the Floored Division Function in Saturation
F
First-Order Theorem Proving	Efficient Heuristics in First-Order Theorem Proving
fragility	Vampire's Question Answering Revis(it)ed Again
H
higher-order logic	Sledgehammer: a Saga
I
interpreted code optimisation	Efficient execution of runtime-specialized code
P
proof assistants	Sledgehammer: a Saga
R
runtime code specialization	Efficient execution of runtime-specialized code
S
Saturation	Efficient Heuristics in First-Order Theorem Proving
saturation-based proving	Vampire's Question Answering Revis(it)ed Again
Subsumption	Efficient Heuristics in First-Order Theorem Proving
T
term matching	Efficient execution of runtime-specialized code
theorem proving	Sledgehammer: a Saga
V
Vampire	Vampire's Question Answering Revis(it)ed Again