An Empirical Assessment of Progress in Automated Theorem Proving

Book chapter

Peer reviewed

Geoff Sutcliffe, Christian Suttner, Lars Kotthoff, C. Raymond Perrault and Zain Khalid

Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Proceedings, pp.53-74

2024

Abstract

Automated Theorem Proving

Empirical Evaluation

Progress

url

https://doi.org/10.1007/978-3-031-63498-7_4View

Published (Version of record) Open

1 Record Views

Title: An Empirical Assessment of Progress in Automated Theorem Proving
Creators: Geoff Sutcliffe - University of Miami
Christian Suttner - Miami, United States
Lars Kotthoff - University of Wyoming
C. Raymond Perrault - Menlo School
Zain Khalid - University of Miami
Publication Details: Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Proceedings, pp.53-74
Number of pages: 22
ISSN: 1611-3349
Academic Unit: College of A&S; A&S - Computer Science
Language: English
Resource Type: Book chapter
Record Identifier: 991032795957302976