The design of the CADE-13 ATP system competition

DOI10.1007/3-540-61511-3_76zbMath1412.68263OpenAlexW1525311564MaRDI QIDQ4647509

Christian Suttner, Geoff Sutcliffe

Publication date: 15 January 2019

Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61511-3_76

zbMATH Keywords

automated theorem provingproblem librarycompetition resultranking scheme

Mathematics Subject Classification ID

Related Items (1)

Efficient model generation through compilation.

Uses Software

• OTTER
• TPTP
• DIMACS

Cites Work

• The TPTP problem library. CNF release v1. 2. 1
• The search efficiency of theorem proving strategies
• The TPTP problem library
• Automated Reasoning
• Unnamed Item
• Unnamed Item

This page was built for publication: The design of the CADE-13 ATP system competition