Monte carlo tableau proof search

Farber, M., Kaliszyk, C., Urban, J.

FARBER, M., C. KALISZYK, and J. URBAN. Monte carlo tableau proof search. In: MOURA, L., ed. CADE 26 - 26th International Conference on Automated Deduction. 26th International Conference on Automated Deduction, Gothenburg, 2017-08-06/2017-08-11. Basel: Springer, 2017. p. 563-579. LNAI. vol. 10395. ISSN 0302-9743. ISBN 978-3-319-63045-8. DOI 10.1007/978-3-319-63046-5_34.