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: Suttner:Christian_B=
Contributed to:
2004
2003199619941990Wrote 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.