Enhancing ENIGMA Given Clause Guidance

Jakubův, J., Urban, J.

JAKUBŮV, J. and J. URBAN. Enhancing ENIGMA Given Clause Guidance. In: Intelligent Computer Mathematics. International Conference on Intelligent Computer Mathematics, Hagenberg, 2018-08-13/2019-02-17. Springer Nature, 2018. p. 118-124. LNCS. vol. 11006. ISSN 0302-9743. ISBN 978-3-319-96811-7. DOI 10.1007/978-3-319-96812-4_11.

URL: https://link.springer.com/chapter/10.1007/978-3-319-96812-4_11