The IJCAR ATP system competition

被引：6
|
作者：
Sutcliffe, G
Suttner, CB
Pelletier, FJ
机构：
[1] Univ Miami, Dept Comp Sci, Coral Gables, FL 33124 USA
[2] Cirrus Management, Munich, Germany
[3] Univ Alberta, Dept Comp Sci, Edmonton, AB T6G 2M7, Canada
来源：
JOURNAL OF AUTOMATED REASONING | 2002年 / 28卷 / 03期
关键词：
competition; automated theorem proving;
D O I：
10.1023/A:1015736313131
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The results of the IJCAR ATP System Competition are presented.
引用
收藏
页码：307 / 320
页数：14
相关论文
共 50 条
  • [21] CADE-16 ATP system competition
    Sutcliffe, Geoff, 1600, Kluwer Academic Publishers, Dordrecht, Netherlands (24):
  • [22] The CADE-16 ATP System Competition
    Sutcliffe, G
    JOURNAL OF AUTOMATED REASONING, 2000, 24 (03) : 371 - 396
  • [23] The CADE-18 ATP System Competition
    G. Sutcliffe
    C. B. Suttner
    Journal of Automated Reasoning, 2003, 31 : 23 - 32
  • [24] The CADE-16 ATP System Competition
    Geoff Sutcliffe
    Journal of Automated Reasoning, 2000, 24 : 371 - 396
  • [25] The CADE-18 ATP System Competition
    Sutcliffe, G
    Suttner, CB
    JOURNAL OF AUTOMATED REASONING, 2003, 31 (01) : 23 - 32
  • [26] The CADE-19 ATP system competition
    Sutcliffe, G
    Suttner, C
    AUTOMATED DEDUCTION - CADE-19, PROCEEDINGS, 2003, 2741 : 295 - 296
  • [27] The CADE-18 ATP System Competition
    Sutcliffe, G.
    Suttner, C.B.
    1600, Kluwer Academic Publishers (31):
  • [28] The CADE-17 ATP System Competition
    G. Sutcliffe
    Journal of Automated Reasoning, 2001, 27 : 227 - 250
  • [29] The CADE-19 ATP System Competition
    Sutcliffe, G
    Suttner, C
    AI COMMUNICATIONS, 2004, 17 (03) : 103 - 110
  • [30] The CADE-17 ATP system competition
    Sutcliffe, G
    JOURNAL OF AUTOMATED REASONING, 2001, 27 (03) : 227 - 250
12345