Concepedia

Christian Suttner

CS

Statistics

Publications

13

Citations

838

H-Index

12

Active since

1997

Affiliations

James Cook University(Current)

University of Miami

University of Alberta

Technical University of Munich

Christian Suttner is an author at James Cook University specializing in computer science, computing, and automatic theorem proving.

Publications per year

1997–2009

13

Publications

13

The TPTP Problem Library

Geoff Sutcliffe, Christian Suttner · Journal of Automated Reasoning · 1998 · 301 citations

Computing, Computer Science, Computer Systems +5

Common variants in LSP1, 2q35 and 8q24 and breast cancer risk for BRCA1 and BRCA2 mutation carriers

Antonis C. Antoniou, Olga M. Sinilnikova, Lesley McGuffog et al. · Human Molecular Genetics · 2009 · 115 citations · Full text

Life Sciences, Genetics, Molecular Genetics +17

The state of CASC

Geoff Sutcliffe, Christian Suttner · 2006 · 112 citations

Computing, Computer Science, Formal Methods +13

Evaluating general purpose automated theorem proving systems

Geoff Sutcliffe, Christian Suttner · Artificial Intelligence · 2001 · 101 citations

Computing, Computer Science, Formal Methods +11

The development of CASC

Francis Jeffry Pelletier, Geoff Sutcliffe, Christian Suttner · 2002 · 53 citations

Engineering, Computer Systems, Systems Engineering +9

1–5 of 13