Login / Signup

The TPTP Problem Library and Associated Infrastructure - From CNF to TH0, TPTP v6.4.0.

Geoff Sutcliffe
Published in: J. Autom. Reason. (2017)
Keyphrases
  • automated theorem proving
  • data collection
  • first order logic
  • boolean functions
  • case study
  • building blocks
  • evolutionary algorithm