The TPTP Problem Library and Associated Infrastructure.

Geoff Sutcliffe

Published in: J. Autom. Reason. (2009)

Keyphrases

data collection
computing environments
database
search algorithm
wireless sensor networks
building blocks
information exchange
cross platform
support environment
technical infrastructure