ITA
ENG

The TPTP Problem Library-CNF Realease v1.2.1

Authors

G.Sutcliffe,C.Suttner

Citation

G.sutcliffe,c.suttner, The TPTP Problem Library-CNF Realease v1.2.1, Journal of automated reasoning , 21(2), 1998, pp. 177-203

Journal title

Journal of automated reasoning → ACNP

ISSN journal

01687433

Volume

21

Issue

2

Year of publication

1998

Pages

177 - 203

Database

ACNP

SICI code