Michael Färber, Cezary Kaliszyk, Josef Urban
Journal of Automated Reasoning 65, pp. 287 - 320, 2021.
pdf 
doi:10.1007/s10817-020-09576-7
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},}