Machine Learning Guidance for Connection Tableaux
Michael Färber, Cezary Kaliszyk, Josef UrbanJournal of Automated Reasoning 65, pp. 287 - 320, 2021.
Abstract
BibTeX
@article{mfckju-jar21,
author = {Michael F{\"{a}}rber and
Cezary Kaliszyk and
Josef Urban},
title = {Machine Learning Guidance for Connection Tableaux},
journal = {J. Autom. Reason.},
volume = {65},
number = {2},
pages = {287--320},
year = {2021},
url = {https://doi.org/10.1007/s10817-020-09576-7},
doi = {10.1007/s10817-020-09576-7},
}
Open Access