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

DOI10.3233/AIC-160709zbMath1373.68367OpenAlexW4238923739MaRDI QIDQ4589264

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

Related Items (6)

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 ⋮ The CADE-26 automated theorem proving system competition – CASC-26 ⋮ Machine learning guidance for connection tableaux ⋮ Faster, higher, stronger: E 2.3

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