Christian B. Suttner - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 31 from 31

2024

An Empirical Assessment of Progress in Automated Theorem ProvingGeoff Sutcliffe, Christian B. Suttner, Lars Kotthoff, C. Raymond Perrault, Zain Khalid. IJCAR 2024: 53-74 [doi]

2006

The state of CASCGeoff Sutcliffe, Christian B. Suttner. aicom, 19(1):35-48, 2006. [doi]

2004

The CADE-19 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. aicom, 17(3):103-110, 2004. [doi]

The CADE ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. cade 2004: 490-491 [doi]

2003

The CADE-18 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. JAR, 31(1):23-32, 2003. [doi]

The CADE-19 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. cade 2003: 295-296 [doi]

2002

The development of CASCFrancis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner. aicom, 15(2-3):79-90, 2002. [doi]

The IJCAR ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier. JAR, 28(3):307-320, 2002.

2001

Evaluating general purpose automated theorem proving systemsGeoff Sutcliffe, Christian B. Suttner. ai, 131(1-2):39-54, 2001. [doi]

1999

The CADE-15 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. JAR, 23(1):1-23, 1999.

SPS-Parallelism + SETHEO = SPTHEOChristian B. Suttner. JAR, 22(4):397-431, 1999.

1998

The TPTP Problem Library - CNF Release v1.2.1Geoff Sutcliffe, Christian B. Suttner. JAR, 21(2):177-203, 1998.

The CADE-14 ATP System CompetitionChristian B. Suttner, Geoff Sutcliffe. JAR, 21(1):99-134, 1998.

1997

Conclusions about the CADE-13 ATP System CompetitionFrancis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner. JAR, 18(2):287-296, 1997.

The Results - of the CADE-13 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. JAR, 18(2):271-286, 1997.

The Design of the CADE-13 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. JAR, 18(2):139-162, 1997.

The Procedures of the CADE-13 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. JAR, 18(2):163-169, 1997.

The CADE-13 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. JAR, 18(2):137-138, 1997.

Static partitioning with slacknessChristian B. Suttner. In James Geller, Hiroaki Kitano, Christian B. Suttner, editors, Parallel Processing for Artificial Intelligence 3. Volume 20 of Machine Intelligence and Pattern Recognition, pages 145-163, Elsevier, 1997. [doi]

SPTHEO - A Parallel Theorem ProverChristian B. Suttner. JAR, 18(2):253-258, 1997.

1996

SPTHEO - A PVM-Based Parallel Theorem ProverChristian B. Suttner. pvm 1996: 116-125

The Design of the CADE-13 ATP System CompetitionChristian B. Suttner, Geoff Sutcliffe. cade 1996: 146-160

1995

Parallelization of search-based systems by static partitioning with slacknessChristian B. Suttner. Volume 101 of DISKI, Infix, 1995.

1994

The TPTP Problem LibraryGeoff Sutcliffe, Christian B. Suttner, Theodor Yemenis. cade 1994: 252-266

1993

Optimal Multiprogramming Control for Parallel ComputationsEike Jessen, Wolfgang Ertel, Christian B. Suttner. dfg 1993: 49-65

1992

Parallel Computation of Multiple Sets-of_SupportChristian B. Suttner. lpar 1992: 238-249

1990

Project PARIS: Parallelisation of Inference SystemsWolfgang Ertel, Christian B. Suttner. Dagstuhl 1992: 363

A Parallel Theorem Prover with Heuristic Work DistributionChristian B. Suttner. Dagstuhl 1992: 243-252

Representing Heuristic-Relevant Information for an Automated Theorem ProverChristian B. Suttner. imycs 1990: 261-270

Automatic Acquisition of Search Guiding HeuristicsChristian B. Suttner, Wolfgang Ertel. cade 1990: 470-484

1989

Learning Heuristics for a Theorem Prover Using Back PropagationWolfgang Ertel, Johann Schumann, Christian B. Suttner. ogai 1989: 87-95

Sign in or sign up to see more results.

runs on WebDSL