Abstract
This paper documents the design, competing systems, results, and conclusions of the CADE-14 ATP System Competition (CASC-14).
| Original language | English (US) |
|---|---|
| Pages (from-to) | 99-134 |
| Number of pages | 36 |
| Journal | Journal of Automated Reasoning |
| Volume | 21 |
| Issue number | 1 |
| State | Published - 1998 |
| Externally published | Yes |
Fingerprint
Keywords
- Automated theorem proving
- Competition
ASJC Scopus subject areas
- Artificial Intelligence
Cite this
The CADE-14 ATP System Competition. / Suttner, Christian; Sutcliffe, Geoffrey.
In: Journal of Automated Reasoning, Vol. 21, No. 1, 1998, p. 99-134.Research output: Contribution to journal › Article
}
TY - JOUR
T1 - The CADE-14 ATP System Competition
AU - Suttner, Christian
AU - Sutcliffe, Geoffrey
PY - 1998
Y1 - 1998
N2 - This paper documents the design, competing systems, results, and conclusions of the CADE-14 ATP System Competition (CASC-14).
AB - This paper documents the design, competing systems, results, and conclusions of the CADE-14 ATP System Competition (CASC-14).
KW - Automated theorem proving
KW - Competition
UR - http://www.scopus.com/inward/record.url?scp=0032143259&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0032143259&partnerID=8YFLogxK
M3 - Article
AN - SCOPUS:0032143259
VL - 21
SP - 99
EP - 134
JO - Journal of Automated Reasoning
JF - Journal of Automated Reasoning
SN - 0168-7433
IS - 1
ER -