CADE-28: THE 28TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
TALK AUTHOR INDEX
Shortcuts: ADEKPRS
A
Abraham, Erika
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic
D
Davenport, James H.
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic
E
England, Matthew
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic
K
Kremer, Gereon
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic
P
Plaisted, David
Search Spaces for Theorem Proving Strategies
Relevance and Abstraction
Management of the TPTP Problem Set
R
Rawson, Michael
On Evaluating Theorem Provers
Reger, Giles
On Evaluating Theorem Provers
S
Sutcliffe, Geoff
The Expansion, Modernisation, and Future of the TPTP World
Management of the TPTP Problem Set