Login / Signup
Improving CSE-F 1.0 Prover with Importance Measure Based Literal Selection Strategy.
Guoyan Zeng
Yang Xu
Guanfeng Wu
Feng Cao
Published in:
ISKE (2021)
Keyphrases
</>
selection strategy
selection strategies
selection algorithm
similarity measure
theorem proving
distance measure
mutation operation
genetic algorithm
data sets
heuristic search
cauchy mutation
clonal selection algorithm
theorem prover
artificial neural networks
training data
machine learning
neural network