Jan Jakubův, Karel Chvalovský, Miroslav Olšák, Bartosz Piotrowski, Martin Suda, Josef Urban
International Joint Conference on Automated Reasoning (IJCAR), pp. 448 - 463, 2020.
pdf 
doi:10.1007/978-3-030-51054-1_29
BibTex
@InProceedings{10.1007/978-3-030-51054-1_29, author="Jakub{\r{u}}v, Jan and Chvalovsk{\'y}, Karel and Ol{\v{s}}{\'a}k, Miroslav and Piotrowski, Bartosz and Suda, Martin and Urban, Josef", editor="Peltier, Nicolas and Sofronie-Stokkermans, Viorica", title="ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)", booktitle="Automated Reasoning", year="2020", publisher="Springer International Publishing", address="Cham", pages="448--463", isbn="978-3-030-51054-1"}