<div class="csl-bib-body">
<div class="csl-entry">Hajdu, M., Hozzová, P., Kovács, L., Schoisswohl, J., & Voronkov, A. (2021). Inductive Benchmarks for Automated Reasoning. In <i>Intelligent Computer Mathematics. 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings</i> (pp. 124–129). Springer. https://doi.org/10.34726/1563</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/18558
-
dc.identifier.uri
https://doi.org/10.34726/1563
-
dc.description.abstract
We present a large set of benchmarks for automated theorem provers that require inductive reasoning. Motivated by the need to compare first-order theorem provers, SMT solvers and inductive theorem provers, the setting of our examples follows the SMT-LIB standard. Our benchmark set contains problems with inductive data types as well as integers. In addition to SMT-LIB encodings, we provide translations to some other less common input formats.
en
dc.description.sponsorship
European Commission
-
dc.description.sponsorship
European Commission
-
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
automated reasoning
en
dc.subject
automated deduction
en
dc.subject
theorem proving
en
dc.title
Inductive Benchmarks for Automated Reasoning
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
Urheberrechtsschutz
de
dc.rights.license
In Copyright
en
dc.identifier.doi
10.34726/1563
-
dc.contributor.affiliation
University of Manchester, United Kingdom of Great Britain and Northern Ireland (the)
