Michael Färber 0002, Cezary Kaliszyk, Josef Urban. Machine Learning Guidance for Connection Tableaux. Journal of Automated Reasoning, 65(2):287-320, 2021. [doi]
@article{FarberKU21,
title = {Machine Learning Guidance for Connection Tableaux},
author = {Michael Färber 0002 and Cezary Kaliszyk and Josef Urban},
year = {2021},
doi = {10.1007/s10817-020-09576-7},
url = {https://doi.org/10.1007/s10817-020-09576-7},
researchr = {https://researchr.org/publication/FarberKU21},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {65},
number = {2},
pages = {287-320},
}