The TPTP Problem Library - CNF Release v1.2.1.

Geoff Sutcliffe Christian B. Suttner

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

Keyphrases

boolean functions
real time
information retrieval
artificial intelligence
genetic algorithm
e learning
np complete
cnf formula