CADE ATP System Competition (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "CADE ATP System Competition" in English language version.

Last modified: 21:14:00, 24 October 2025 (UTC)

Ref.Un. Ref.Website

Global rank English rank

66doi.org

2^nd place

32iospress.com

low place

22miami.edu

4,822^nd place

2,966^th place

22semanticscholar.org

15^th place

8^th place

11web.archive.org

1^st place

11springer.com

182^nd place

172^nd place

11aaai.org

low place

6,393^rd place

11researchgate.net

96^th place

89^th place

11psu.edu

299^th place

159^th place

aaai.org (Global: low place; English: 6,393^rd place)

Matti, Järvisalo; Le Berre, Daniel; Roussel, Olivier; Simon, Laurent (2012). "The international SAT solver competitions". AI Magazine. 33 (1): 89–92. doi:10.1609/aimag.v33i1.2395.

doi.org (Global: 2^nd place; English: 2^nd place)

Sutcliffe, Geoff (2011). "The 5th IJCAR Automated Theorem Proving System Competition - CASC-J5". AI Communications. 24 (1): 75–89. doi:10.3233/AIC-2010-0483.
Barrett, Clark; de Moura, Leonardo; Stump, Aaron (2005). "SMT-COMP: Satisfiability Modulo Theories Competition" (PDF). Computer Aided Verification. Lecture Notes in Computer Science. Vol. 3576. Springer. pp. 20–23. doi:10.1007/11513988_4. ISBN 978-3-540-27231-1.
Matti, Järvisalo; Le Berre, Daniel; Roussel, Olivier; Simon, Laurent (2012). "The international SAT solver competitions". AI Magazine. 33 (1): 89–92. doi:10.1609/aimag.v33i1.2395.
Massacci, Fabio; Donini, Francesco M. (2000). "Design and results of TANCS-2000 non-classical (modal) systems comparison". International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes in Computer Science. Vol. 1847. Springer. pp. 52–56. CiteSeerX 10.1.1.385.6267. doi:10.1007/10722086_4. ISBN 978-3-540-67697-3. {{cite book}}: Cite uses deprecated parameter |citeseerx= (help)
McCune, William; Wos, Larry (1997). "Otter-the CADE-13 competition incarnations". Journal of Automated Reasoning. 18 (2): 211–220. doi:10.1023/A:1005843632307. S2CID 2481653.
Moser, Max; Ibens, Ortrun; Letz, Reinhold; Steinbach, Joachim; Goller, Christoph; Schumann, Johann; Mayr, Klaus (1997). "Otter-the CADE-13 competition incarnations". Journal of Automated Reasoning. 18 (2): 237–246. doi:10.1023/A:1005808119103. S2CID 821198.

iospress.com (Global: low place; English: low place)

content.iospress.com

Sutcliffe, Geoff (2011). "The 5th IJCAR Automated Theorem Proving System Competition - CASC-J5". AI Communications. 24 (1): 75–89. doi:10.3233/AIC-2010-0483.
Geoff Sutcliffe and Christian Suttner (2006). "The State of CASC". AI Communications. 19 (1): 35–48.

miami.edu (Global: 4,822^nd place; English: 2,966^th place)

cs.miami.edu

Geoff Sutcliffe. "The CADE ATP System Competition". Archived from the original on 2009-03-02. Retrieved 2008-10-23.
Jeff Pelletier, Geoff Sutcliffe and Christian Suttner (2002). "The Development of CASC" (PDF). AI Communications. 15 (2–3): 79–90.

psu.edu (Global: 299^th place; English: 159^th place)

citeseerx.ist.psu.edu

Massacci, Fabio; Donini, Francesco M. (2000). "Design and results of TANCS-2000 non-classical (modal) systems comparison". International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes in Computer Science. Vol. 1847. Springer. pp. 52–56. CiteSeerX 10.1.1.385.6267. doi:10.1007/10722086_4. ISBN 978-3-540-67697-3. {{cite book}}: Cite uses deprecated parameter |citeseerx= (help)

researchgate.net (Global: 96^th place; English: 89^th place)

Massacci, Fabio; Donini, Francesco M. (2000). "Design and results of TANCS-2000 non-classical (modal) systems comparison". International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes in Computer Science. Vol. 1847. Springer. pp. 52–56. CiteSeerX 10.1.1.385.6267. doi:10.1007/10722086_4. ISBN 978-3-540-67697-3. {{cite book}}: Cite uses deprecated parameter |citeseerx= (help)

semanticscholar.org (Global: 15^th place; English: 8^th place)

api.semanticscholar.org

McCune, William; Wos, Larry (1997). "Otter-the CADE-13 competition incarnations". Journal of Automated Reasoning. 18 (2): 211–220. doi:10.1023/A:1005843632307. S2CID 2481653.
Moser, Max; Ibens, Ortrun; Letz, Reinhold; Steinbach, Joachim; Goller, Christoph; Schumann, Johann; Mayr, Klaus (1997). "Otter-the CADE-13 competition incarnations". Journal of Automated Reasoning. 18 (2): 237–246. doi:10.1023/A:1005808119103. S2CID 821198.

springer.com (Global: 182^nd place; English: 172^nd place)

link.springer.com

Barrett, Clark; de Moura, Leonardo; Stump, Aaron (2005). "SMT-COMP: Satisfiability Modulo Theories Competition" (PDF). Computer Aided Verification. Lecture Notes in Computer Science. Vol. 3576. Springer. pp. 20–23. doi:10.1007/11513988_4. ISBN 978-3-540-27231-1.

web.archive.org (Global: 1^st place; English: 1^st place)

Geoff Sutcliffe. "The CADE ATP System Competition". Archived from the original on 2009-03-02. Retrieved 2008-10-23.

CADE ATP System Competition (English Wikipedia)

aaai.org (Global: low place; English: 6,393rd place)

doi.org (Global: 2nd place; English: 2nd place)