Karel Chvalovský, Jan Jakubuv, Martin Suda 0001, Josef Urban
ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E
CADE, 2019.
@inproceedings{CADE-2019-ChvalovskyJ0U,
author = "Karel Chvalovský and Jan Jakubuv and Martin Suda 0001 and Josef Urban",
booktitle = "{Proceddings of the 27th International Conference on Automated Deduction}",
doi = "10.1007/978-3-030-29436-6_12",
isbn = "['978-3-030-29435-9', '978-3-030-29436-6']",
pages = "197--215",
publisher = "{Springer}",
title = "{ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E}",
year = 2019,
}