Extending E Prover with Similarity Based Clause Selection Strategies.

Jan Jakubuv Josef Urban

Published in: CICM (2016)

Keyphrases

selection strategies
theorem prover
selection strategy
search strategies
theorem proving
automated theorem proving
first order logic
search space
neural network
search engine
genetic algorithm
support vector
search algorithm
constraint satisfaction
cnf formula
active learning strategies