Sutcliffe, Geoff; Desharnais, Martin The 11th IJCAR automated theorem proving system competition – CASC-J11. (English) Zbl 07735787 AI Commun. 36, No. 2, 73-91 (2023). MSC: 68V15 PDFBibTeX XMLCite \textit{G. Sutcliffe} and \textit{M. Desharnais}, AI Commun. 36, No. 2, 73--91 (2023; Zbl 07735787) Full Text: DOI
Brown, Chad E.; Gauthier, Thibault; Kaliszyk, Cezary; Sutcliffe, Geoff; Urban, Josef GRUNGE: a grand unified ATP challenge. (English) Zbl 07178973 Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 123-141 (2019). MSC: 03B35 68V15 PDFBibTeX XMLCite \textit{C. E. Brown} et al., Lect. Notes Comput. Sci. 11716, 123--141 (2019; Zbl 07178973) Full Text: DOI arXiv
Sutcliffe, Geoff The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0. (English) Zbl 1185.68636 J. Autom. Reasoning 43, No. 4, 337-362 (2009). MSC: 68T15 PDFBibTeX XMLCite \textit{G. Sutcliffe}, J. Autom. Reasoning 43, No. 4, 337--362 (2009; Zbl 1185.68636) Full Text: DOI