Geoff Sutcliffe

Geoff Sutcliffe

University of Miami - Coral Gables / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1301239
person_outline Geoff Sutcliffe's MOST POPULAR ARTICLES
1-) The TPTP problem library and associated infrastructureG SutcliffeJournal of Automated Reasoning 43 (4), 337-362, 20096002009
2-) The TPTP problem libraryG Sutcliffe, C SuttnerJournal of Automated Reasoning 21 (2), 177-203, 19983731998
3-) The TPTP problem libraryG Sutcliffe, C Suttner, T YemenisInternational Conference on Automated Deduction, 252-266, 19942581994
4-) The TPTP problem library and associated infrastructure: from CNF to TH0, TPTP v6. 4.0G SutcliffeJournal of Automated Reasoning 59 (4), 483-502, 20172582017
5-) StarExec: A cross-community infrastructure for logic solvingA Stump, G Sutcliffe, C TinelliInternational joint conference on automated reasoning, 367-373, 20142452014