Jan Jakubuv: ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (IJCAR A)
Channel: IJCAR-FSCD 2020
Date: 2020-07-14

ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)
Authors: Jan Jakubuv, Karel Chvalovský, Miroslav Olšák, Bartosz Piotrowski, Martin Suda, and Josef Urban

Aired: 2020-02-01 16:45:00 CEST (UTC+2)