ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)
Jan Jakubův, Karel Chvalovský, Miroslav Olšák, Bartosz Piotrowski, Martin Suda, Josef UrbanInternational Joint Conference on Automated Reasoning (IJCAR), pp. 448 - 463, 2020.
Abstract
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"
}