Learning Theorem Proving Components
Karel Chvalovský, Jan Jakubův, Miroslav Olšák, Josef UrbanAutomated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), Lecture Notes in Computer Science 12842, pp. 266 - 278, 2021.
Abstract
BibTeX
@inproceedings{KCJJMOJU-TABLEAUX21,
author = {Karel Chvalovsk{\'{y}} and
Jan Jakubuv and
Miroslav Ols{\'{a}}k and
Josef Urban},
editor = {Anupam Das and
Sara Negri},
title = {Learning Theorem Proving Components},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 30th
International Conference, {TABLEAUX} 2021, Birmingham, UK, September
6-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12842},
pages = {266--278},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86059-2\_16},
doi = {10.1007/978-3-030-86059-2\_16},
}