Extending E Prover with Similarity Based Clause Selection Strategies

Jakubův, J., Urban, J.

JAKUBŮV, J. and J. URBAN. Extending E Prover with Similarity Based Clause Selection Strategies. In: Lecture Notes in Computer Science 9791. Intelligent Computer Mathematics - 9th International Conference, Bialystok, 2016-07-25/2016-07-29. Basel: Springer, 2016. p. 151-156. ISSN 0302-9743. ISBN 978-3-319-42546-7. DOI 10.1007/978-3-319-42547-4_11.