Monte Carlo Connection Prover

By Michael Färber, Cezary Kaliszyk, Josef Urban. 2016

5 citations recorded by the source corpus.

Subfields: Automated Theorem Proving & Formal Methods