CADE ATP System Competition (English Wikipedia)

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

refsWebsite

Global rank English rank

6doi.org

2^nd place

2iospress.com

low place

2miami.edu

4,511^th place

2,800^th place

2semanticscholar.org

11^th place

8^th place

1web.archive.org

1^st place

1springer.com

274^th place

309^th place

1aaai.org

9,352^nd place

5,696^th place

1researchgate.net

120^th place

125^th place

1psu.edu

207^th place

136^th place

aaai.org (Global: 9,352^nd place; English: 5,696^th 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.
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,511^th place; English: 2,800^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: 207^th place; English: 136^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.

researchgate.net (Global: 120^th place; English: 125^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.

semanticscholar.org (Global: 11^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: 274^th place; English: 309^th 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: 9,352nd place; English: 5,696th place)

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