Monte Carlo Tableau Proof Search.

Michael Frber, Cezary Kaliszyk, Josef Urban

Browse the full CADE paper archive.