TY  - RPRT
TI  - ENIGMAWatch: ProofWatch Meets ENIGMA
AU  - Zarathustra Goertzel
AU  - Jan Jakubův
AU  - Josef Urban
PY  - 2019
UR  - https://arxiv.org/abs/1905.09565
ID  - 1905.09565
ER  -