CADE-28: THE 28TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
TALK KEYWORD INDEX

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

Shortcuts: ACENRSTU
A
abstraction
Relevance and Abstraction
ATP
The Expansion, Modernisation, and Future of the TPTP World
automatic-theorem-prover
On Evaluating Theorem Provers
C
CADE
Management of the TPTP Problem Set
Competition
On Evaluating Theorem Provers
complexity
Search Spaces for Theorem Proving Strategies
E
evaluation
On Evaluating Theorem Provers
N
non-linear real arithemic
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic
R
relevance
Relevance and Abstraction
resolution
Search Spaces for Theorem Proving Strategies
S
services
The Expansion, Modernisation, and Future of the TPTP World
SMT
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic
T
theorem proving
Management of the TPTP Problem Set
Relevance and Abstraction
Search Spaces for Theorem Proving Strategies
TPTP problem set
Management of the TPTP Problem Set
TPTP World
The Expansion, Modernisation, and Future of the TPTP World
U
unsatisfiability proofs
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic