ProofWatch Meets ENIGMA: First Experiments

Goertzel, Z., Jakubův, J., Urban, J.

GOERTZEL, Z., J. JAKUBŮV, and J. URBAN. ProofWatch Meets ENIGMA: First Experiments. Kalpa Publications in Computing. 2018, 1(9), 15-22. ISSN 2515-1762. DOI 10.29007/z7qx. Available from: https://easychair.org/publications/paper/28xp

URL: https://easychair.org/publications/paper/28xp