Geoff Sutcliffe

Artificial Intelligence · 2009–2014

A researcher in the Science corpus: 2 papers; trusts 1 researcher and is trusted by 12 researchers here, as inferred from the citation graph.

Subfields

Whom Geoff Sutcliffe trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Holger H. Hoos
  2. Fabian M. Suchanek
  3. Cynthia Matuszek
  4. Cesare Tinelli
  5. J. Otten
  6. Clark W. Barrett

Who trusts Geoff Sutcliffe overall

  1. José Hernandez-Orallo
  2. Kaiyu Yang
  3. Sarah M. Loos
  4. Tim King
  5. Jia Deng
  6. Clark W. Barrett
  7. Aaron Stump
  8. Geoffrey Irving
  9. Christian Szegedy
  10. Kunhao Zheng

Papers from Geoff Sutcliffe's perspective

Ordered by how strongly the researchers Geoff Sutcliffe trusts endorse each paper. Same corpus, a different order for every researcher.

  1. The TPTP Problem Library and Associated Infrastructure (Journal of automated reasoning)
  2. The SMT-LIB Standard Version 2.0
  3. The SMT-LIB Standard: Version 1.2
  4. An Introduction to the Syntax and Content of Cyc (AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering)
  5. YAGO: A Core of Semantic Knowledge Unifying WordNet and Wikipedia
  6. SATLIB: An Online Resource for Research on SAT
  7. E – a brainiac theorem prover (AI Communications)
  8. An Effective Heuristic Algorithm for the Traveling-Salesman Problem
  9. Effective Preprocessing in SAT Through Variable and Clause Elimination (International Conference on Theory and Applications of Satisfiability Testing)
  10. GRASP: A Search Algorithm for Propositional Satisfiability

Their papers