Christian B. Suttner

VLDB 2026 Research / reviewers in the wild / expert

dblp:72/1649 · DBLP profile ↗

← Back

19ranked-venue papers

6as first author

1since 2021 · last 2024

—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 19 · 6 first-author · 1 since 2021Theory of computation · 6 · 3 first-author · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021

Year	Publication	Venue	Position
2024	An Empirical Assessment of Progress in Automated Theorem Proving abstract Abstract The TPTP World is a well established infrastructure that supports research, development, and deployment of Automated Theorem Proving (ATP) systems. This work uses data in the TPTP World to assess progress in ATP from 2015 to 2023. Geoff Sutcliffe, Christian B. Suttner, Lars Kotthoff, C. Raymond Perrault, Zain Khalid	IJCAR (1)	2
2003	The CADE-19 ATP System Competition Geoff Sutcliffe, Christian B. Suttner	CADE	2
2003	The CADE-18 ATP System Competition Geoff Sutcliffe, Christian B. Suttner	J. Autom. Reason.	2
2002	The IJCAR ATP System Competition Geoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier	J. Autom. Reason.	2
2001	Evaluating general purpose automated theorem proving systems Geoff Sutcliffe, Christian B. Suttner	Artif. Intell.	2
1999	The CADE-15 ATP System Competition Geoff Sutcliffe, Christian B. Suttner	J. Autom. Reason.	2
1999	SPS-Parallelism + SETHEO = SPTHEO Christian B. Suttner	J. Autom. Reason.	1
1998	The TPTP Problem Library - CNF Release v1.2.1 Geoff Sutcliffe, Christian B. Suttner	J. Autom. Reason.	2
1998	The CADE-14 ATP System Competition Christian B. Suttner, Geoff Sutcliffe	J. Autom. Reason.	1
1997	Conclusions about the CADE-13 ATP System Competition Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner	J. Autom. Reason.	3
1997	The CADE-13 ATP System Competition Geoff Sutcliffe, Christian B. Suttner	J. Autom. Reason.	2
1997	The Design of the CADE-13 ATP System Competition Geoff Sutcliffe, Christian B. Suttner	J. Autom. Reason.	2
1997	The Procedures of the CADE-13 ATP System Competition Geoff Sutcliffe, Christian B. Suttner	J. Autom. Reason.	2
1997	The Results - of the CADE-13 ATP System Competition Geoff Sutcliffe, Christian B. Suttner	J. Autom. Reason.	2
1997	SPTHEO - A Parallel Theorem Prover Christian B. Suttner	J. Autom. Reason.	1
1996	The Design of the CADE-13 ATP System Competition Christian B. Suttner, Geoff Sutcliffe	CADE	1
1994	The TPTP Problem Library Geoff Sutcliffe, Christian B. Suttner, Theodor Yemenis	CADE	2
1992	Parallel Computation of Multiple Sets-of_Support Christian B. Suttner	LPAR	1
1990	Automatic Acquisition of Search Guiding Heuristics Christian B. Suttner, Wolfgang Ertel	CADE	1