Geoff Sutcliffe

Cited by

	All	Since 2020
Citations	5855	1422
h-index	37	19
i10-index	104	34

340

170

255

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202523 10 53 81 68 71 86 95 80 97 74 139 145 154 213 199 287 210 272 273 222 335 251 300 259 312 233 277 274 300 307 28

Public access

View all

14 articles

1 article

available

not available

Based on funding mandates

Co-authors

Stephan SchulzProfessor of Computer Science, DHBW StuttgartVerified email at eprover.org
Josef UrbanDistinguished Researcher at Czech Technical University in PragueVerified email at cvut.cz
Christoph BenzmüllerProfessor for AI Systems Engineering, University of BambergVerified email at fu-berlin.de
Francis Jeffry PelletierUniversity of AlbertaVerified email at ualberta.ca
Yury PuzisCOO at Charmtech LabsVerified email at cs.sunysb.edu
Adam PeaseNaval Postgraduate SchoolVerified email at articulatesoftware.com
Alexander SteenUniversity of GreifswaldVerified email at uni-greifswald.de
Aaron StumpJohn R. and Pamela Egan Chair, Computer Science, Boston CollegeVerified email at bc.edu
Florian RabeUniversity Erlangen-NurembergVerified email at fau.de
Cesare TinelliProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
Martin SudaCzech Technical University in PragueVerified email at cvut.cz
Andrei VoronkovThe University of Manchester; EasyChairVerified email at cs.man.ac.uk
Simon ColtonProf. Computational Creativity at Queen Mary University of London, UK & Monash University, AustraliaVerified email at qmul.ac.uk
Pavel Pudlákresearcher, Institute of Mathematics, CASVerified email at math.cas.cz
Koen ClaessenChalmers University of TechnologyVerified email at chalmers.se
Deborah L. McGuinnessTetherless World Chair, Prof. Computer, Cognitive,Web Sciences, Industrial &Systems Engineering,RPIVerified email at cs.rpi.edu
Jiří VyskočilCzech Technical University in PragueVerified email at cvut.cz
Cezary KaliszykUniversity of MelbourneVerified email at unimelb.edu.au
John (Jack) McKeownUniversity of MiamiVerified email at miami.edu
Michael SchneiderAssociate Professor, Department of Physical Therapy, University of PittsburghVerified email at pitt.edu

Geoff Sutcliffe

Department of Computer Science, University of Miami

Verified email at cs.miami.edu - Homepage

Automated Theorem Proving


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The TPTP problem library and associated infrastructure: The FOF and CNF parts, v3. 5.0 G Sutcliffe Journal of Automated Reasoning 43, 337-362, 2009	649	2009
The TPTP problem library G Sutcliffe, C Suttner Journal of Automated Reasoning 21 (2), 177-203, 1998	403	1998
The TPTP problem library and associated infrastructure: from CNF to TH0, TPTP v6. 4.0 G Sutcliffe Journal of Automated Reasoning 59 (4), 483-502, 2017	263	2017
The TPTP problem library G Sutcliffe, C Suttner, T Yemenis International Conference on Automated Deduction, 252-266, 1994	260	1994
StarExec: A cross-community infrastructure for logic solving A Stump, G Sutcliffe, C Tinelli International joint conference on automated reasoning, 367-373, 2014	248	2014
MaLARea SG1-machine learner for automated reasoning with semantic guidance J Urban, G Sutcliffe, P Pudlák, J Vyskočil International Joint Conference on Automated Reasoning, 441-456, 2008	173	2008
The state of CASC G Sutcliffe, C Suttner AI Communications 19 (1), 35-48, 2006	168	2006
Evaluating general purpose automated theorem proving systems G Sutcliffe, C Suttner Artificial intelligence 131 (1-2), 39-54, 2001	155	2001
The cade atp system competition—casc G Sutcliffe AI Magazine 37 (2), 99-101, 2016	137	2016
Automated reasoning in higher-order logic using the TPTP THF infrastructure G Sutcliffe, C Benzmüller Journal of Formalized Reasoning 3 (1), 1-27, 2010	120	2010
The TPTP world–infrastructure for automated reasoning G Sutcliffe International Conference on Logic for Programming Artificial Intelligence …, 2010	104	2010
The development of CASC FJ Pelletier, G Sutcliffe, C Suttner AI Communications 15 (2-3), 79-90, 2002	93	2002
The TPTP typed first-order form with arithmetic G Sutcliffe, S Schulz, K Claessen, P Baumgartner Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012	92	2012
ATP and presentation service for Mizar formalizations J Urban, P Rudnicki, G Sutcliffe Journal of Automated Reasoning 50 (2), 229-241, 2013	86	2013
TSTP data-exchange formats for automated theorem proving tools G Sutcliffe, J Zimmer, S Schulz Distributed Constraint Problem Solving and Reasoning in Multi-Agent Systems …, 2004	85	2004
Using the TPTP language for writing derivations and finite interpretations G Sutcliffe, S Schulz, K Claessen, A Van Gelder Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006	82	2006
THF0–the core of the TPTP language for higher-order logic C Benzmüller, F Rabe, G Sutcliffe Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney …, 2008	79	2008
A computational future for preventing HIV in minority communities: how advanced technology can improve implementation of effective programs CH Brown, DC Mohr, CG Gallo, C Mader, L Palinkas, G Wingood, ... JAIDS Journal of Acquired Immune Deficiency Syndromes 63, S72-S84, 2013	70	2013
SRASS-a semantic relevance axiom selection system G Sutcliffe, Y Puzis International Conference on Automated Deduction, 295-310, 2007	70	2007
The CADE-16 ATP system competition G Sutcliffe Journal of Automated Reasoning 24, 371-396, 2000	65	2000

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors