The 8th IJCAR automated theorem proving system competition -- CASC-J8

DOI10.3233/AIC-160709MaRDI QIDQ4589264zbMATHOpenAlexFDO

Authors Geoff Sutcliffe

Publication date 10 November 2017

Published in AI Communications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/aic-160709

zbMATH Keywords

competitionautomated theorem proving

Mathematics Subject Classification ID

Recommendations

• The 7th IJCAR automated theorem proving system competition -- CASC-J7
• The 10th IJCAR automated theorem proving system competition -- CASC-J10
• The 9th IJCAR automated theorem proving system competition -- CASC-J9
• scientific article; zbMATH DE number 5305114
• The CADE-22 automated theorem proving system competition -- CASC-22

Cited in

(10)

• Faster, higher, stronger: E 2.3
• ENIGMA: efficient learning-based inference guiding machine
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Relaxed weighted path order in theorem proving
• Machine learning guidance for connection tableaux
• The CADE-26 automated theorem proving system competition -- CASC-26
• The 10th IJCAR automated theorem proving system competition -- CASC-J10
• The 11th IJCAR automated theorem proving system competition – CASC-J11
• The 7th IJCAR automated theorem proving system competition -- CASC-J7
• The 9th IJCAR automated theorem proving system competition -- CASC-J9

This page was built for publication: The 8th IJCAR automated theorem proving system competition -- CASC-J8

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4589264)