Login / Signup
Extending E Prover with Similarity Based Clause Selection Strategies.
Jan Jakubuv
Josef Urban
Published in:
CoRR (2016)
Keyphrases
</>
selection strategies
theorem prover
selection strategy
search strategies
theorem proving
automated theorem proving
active learning strategies
search space
first order logic
machine learning
genetic algorithm
web search
inference rules