BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Ireland
2 × USA
Collaborated with:
G.Sutcliffe W.Ertel T.Yemenis
Talks about:
competit (3) system (3) cade (3) atp (3) acquisit (1) problem (1) librari (1) heurist (1) automat (1) search (1)

Person: Christian B. Suttner

DBLP DBLP: Suttner:Christian_B=

Contributed to:

IJCAR 20042004
CADE 20032003
CADE 19961996
CADE 19941994
CADE 19901990

Wrote 5 papers:

IJCAR-2004-SutcliffeS #contest
The CADE ATP System Competition (GS, CBS), pp. 490–491.
CADE-2003-SutcliffeS #contest
The CADE-19 ATP System Competition (GS, CBS), pp. 295–296.
CADE-1996-SuttnerS #contest #design
The Design of the CADE-13 ATP System Competition (CBS, GS), pp. 146–160.
CADE-1994-SutcliffeSY #library #problem
The TPTP Problem Library (GS, CBS, TY), pp. 252–266.
CADE-1990-SuttnerE #automation #heuristic
Automatic Acquisition of Search Guiding Heuristics (CBS, WE), pp. 470–484.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.