Christian Suttner

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Automatic acquisition of search guiding heuristics	2023-04-28	Paper
The TPTP problem library Automated Deduction — CADE-12	2020-01-21	Paper
The design of the CADE-13 ATP system competition Automated Deduction — Cade-13	2019-01-15	Paper
Automated Reasoning Lecture Notes in Computer Science	2007-09-25	Paper
The state of CASC	2006-09-06	Paper
scientific article; zbMATH DE number 1809860 (Why is no real title available?)	2003-09-21	Paper
The IJCAR ATP system competition Journal of Automated Reasoning	2002-08-20	Paper
Evaluating general purpose automated theorem proving systems Artificial Intelligence	2002-07-24	Paper
scientific article; zbMATH DE number 1552517 (Why is no real title available?)	2001-01-15	Paper
SPS-parallelism+SETHEO=SPTHEO Journal of Automated Reasoning	1999-04-26	Paper
The TPTP problem library. CNF release v1. 2. 1 Journal of Automated Reasoning	1999-01-03	Paper
The CADE-14 ATP system competition Journal of Automated Reasoning	1999-01-03	Paper
scientific article; zbMATH DE number 19780 (Why is no real title available?)	1992-06-26	Paper

Research outcomes over time

This page was built for person: Christian Suttner