The TPTP Problem Library.

Geoff Sutcliffe Christian B. Suttner Theodor Yemenis

Published in: CADE (1994)

Keyphrases

information technology
data mining
artificial intelligence
feature selection
multimedia
three dimensional
high quality
digital libraries
cross platform
automated theorem proving