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

DOI10.3233/AIC-160709zbMATH Open1373.68367OpenAlexW4238923739MaRDI QIDQ4589264FDOQ4589264

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

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

zbMATH Keywords

competitionautomated theorem proving

Mathematics Subject Classification ID

Cited In (6)

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

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)