ENIGMA: Efficient Learning-Based Inference Guiding Machine

Jakubův, J., Urban, J.

JAKUBŮV, J. and J. URBAN. ENIGMA: Efficient Learning-Based Inference Guiding Machine. In: GEUVERS, H., et al., eds. Intelligent Computer Mathematics. International Conference on Intelligent Computer Mathematics, Edinburgh, 2017-07-17/2017-07-21. Basel: Springer, 2017. pp. 292-302. Lecture Notes in Computer Science. vol. 10383. ISSN 0302-9743. ISBN 978-3-319-62074-9. DOI 10.1007/978-3-319-62075-6_20.

URL: https://doi.org/10.1007/978-3-319-62075-6_20