Christian B. Suttner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
1990–2024
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | IJCAR | An Empirical Assessment of Progress in Automated Theorem Proving. | Geoff Sutcliffe, Christian B. Suttner, Lars Kotthoff, C. Raymond Perrault, Zain Khalid |
| 2004 | CADE | The CADE ATP System Competition. | Geoff Sutcliffe, Christian B. Suttner |
| 2003 | CADE | The CADE-19 ATP System Competition. | Geoff Sutcliffe, Christian B. Suttner |
| 1996 | CADE | The Design of the CADE-13 ATP System Competition. | Christian B. Suttner, Geoff Sutcliffe |
| 1994 | CADE | The TPTP Problem Library. | Geoff Sutcliffe, Christian B. Suttner, Theodor Yemenis |
| 1992 | LPAR | Parallel Computation of Multiple Sets-of_Support. | Christian B. Suttner |
| 1990 | CADE | Automatic Acquisition of Search Guiding Heuristics. | Christian B. Suttner, Wolfgang Ertel |